Module Syscall_stubs

module Syscall_stubs: sig .. end
Syscall stubs (DSE)


This module is not implemented yet !
val dispatch_syscall : Syscall_piqi.syscall_pol list ->
Trace_type.trace_inst -> Path_pred_env.t -> unit
Dispatch the current syscall infos to the right stub.

Note: For now none of them are implemented

val is_syscall_opcode : string -> bool
return whether the given opecode is a syscall or not. The opcode should be a binary string