From 42cb99079d4ff0a5aa49e7730bb73500d13f35dd Mon Sep 17 00:00:00 2001
From: Rusty Wagner <rusty@vector35.com>
Date: Mon, 13 Mar 2017 23:03:41 -0400
Subject: Branch dependence APIs for path sensitive analysis

---
 binaryninjaapi.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'binaryninjaapi.h')

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;
-- 
cgit v1.3.1