binsec.dwarf
Cunit.Func
binsec
binsec.base
binsec.cli
binsec.domains
binsec.isa
binsec.kernel
binsec.script
binsec.smtlib
binsec.sse
binsec.symbolic
binsec.unix
binsec_cli_bbsse
binsec_cli_disasm
binsec_cli_ghidra
binsec_cli_sse
binsec_cli_xtrasec
binsec_isa_armv7
binsec_isa_armv8
binsec_isa_ppc64
binsec_isa_riscv
binsec_isa_sparcv8
binsec_isa_x86_32
binsec_isa_x86_64
binsec_kernel_dba
binsec_kernel_isa
binsec_kernel_loader
binsec_kernel_parser
binsec_script_ast
binsec_smtlib_bindings
binsec_sse_checkct
binsec_sse_loader
binsec_sse_quick_merge
binsec_sse_shadow_stack
binsec_sse_stake
checkct
shadow_stack
stake
type func = private Die.t
val find : t -> string -> func
find cunit func_name return the function named func_name of the compilation unit
find cunit func_name
Exception
Not_found
type t = func
val name : t -> string
name func return the name of the declaration of the function func
name func
val line : t -> int
line func return the line of the declaration of the function func
line func
val typ : t -> Type.t
typ func return the type of the declaration of the function func
typ func
val cfa : t -> Expr.t
cfa func return the Canonical Frame Address of the function func
cfa func
val vars : t -> Var.t list
vars func return the list of local variables declared in the function func
vars func