From 153e9543984751449e64048a5acceff9524221ce Mon Sep 17 00:00:00 2001
From: Chinmay <chinmay1dd@gmail.com>
Date: Tue, 7 Jul 2020 14:54:48 -0700
Subject: Changes to implement User-informed dataflow

---
 binaryninjaapi.h | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'binaryninjaapi.h')

diff --git a/binaryninjaapi.h b/binaryninjaapi.h
index 195f9089..90bbc4c2 100644
--- a/binaryninjaapi.h
+++ b/binaryninjaapi.h
@@ -2938,13 +2938,16 @@ __attribute__ ((format (printf, 1, 2)))
 		std::vector<BNValueRange> ranges;
 		std::set<int64_t> valueSet;
 		std::vector<LookupTableEntry> table;
+		size_t count;
 
 		static PossibleValueSet FromAPIObject(BNPossibleValueSet& value);
+		BNPossibleValueSet ToAPIObject();
 	};
 
 	class FlowGraph;
 	class MediumLevelILFunction;
 	class HighLevelILFunction;
+	struct SSAVariable;
 
 	class Function: public CoreRefCountObject<BNFunction, BNNewFunctionReference, BNFreeFunction>
 	{
@@ -3160,6 +3163,10 @@ __attribute__ ((format (printf, 1, 2)))
 
 		Ref<FlowGraph> GetUnresolvedStackAdjustmentGraph();
 
+		void SetVariableValue(const Variable& var, uint64_t defAddr, PossibleValueSet& value);
+		void ClearInformedVariableValue(const Variable& var, uint64_t defAddr);
+		void ClearInformedVariableValues();
+
 		void RequestDebugReport(const std::string& name);
 
 		std::string GetGotoLabelName(uint64_t labelId);
@@ -3702,7 +3709,6 @@ __attribute__ ((format (printf, 1, 2)))
 	};
 
 	struct MediumLevelILInstruction;
-	struct SSAVariable;
 
 	class MediumLevelILFunction: public CoreRefCountObject<BNMediumLevelILFunction,
 		BNNewMediumLevelILFunctionReference, BNFreeMediumLevelILFunction>
-- 
cgit v1.3.1