summaryrefslogtreecommitdiff
path: root/binaryninjaapi.h
diff options
context:
space:
mode:
authorRusty Wagner <rusty@vector35.com>2017-03-13 23:03:41 -0400
committerRusty Wagner <rusty@vector35.com>2017-03-13 23:03:54 -0400
commit42cb99079d4ff0a5aa49e7730bb73500d13f35dd (patch)
tree03c6a4899fc6d8c5eab5dd09742c608c7e3a104c /binaryninjaapi.h
parent29be664b3c91d135b54ed34976357bb7d3413e94 (diff)
Branch dependence APIs for path sensitive analysis
Diffstat (limited to 'binaryninjaapi.h')
-rw-r--r--binaryninjaapi.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/binaryninjaapi.h b/binaryninjaapi.h
index ee342851..fb735a9d 100644
--- a/binaryninjaapi.h
+++ b/binaryninjaapi.h
@@ -2270,6 +2270,9 @@ namespace BinaryNinja
size_t GetSSAVarIndexAtInstruction(const BNILVariable& var, size_t instr) const;
size_t GetSSAMemoryIndexAtInstruction(size_t instr) const;
+ BNILBranchDependence GetBranchDependenceAtInstruction(size_t curInstr, size_t branchInstr) const;
+ std::map<size_t, BNILBranchDependence> GetAllBranchDependenceAtInstruction(size_t instr) const;
+
Ref<LowLevelILFunction> GetLowLevelIL() const;
size_t GetLowLevelILInstructionIndex(size_t instr) const;
size_t GetLowLevelILExprIndex(size_t expr) const;