From 153e9543984751449e64048a5acceff9524221ce Mon Sep 17 00:00:00 2001 From: Chinmay Date: Tue, 7 Jul 2020 14:54:48 -0700 Subject: Changes to implement User-informed dataflow --- binaryninjacore.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'binaryninjacore.h') diff --git a/binaryninjacore.h b/binaryninjacore.h index 4128372d..6c32545a 100644 --- a/binaryninjacore.h +++ b/binaryninjacore.h @@ -257,6 +257,8 @@ extern "C" StructureHexDumpTextToken = 27, GotoLabelToken = 28, CommentToken = 29, + PossibleValueToken = 30, + PossibleValueTypeToken = 31, // The following are output by the analysis system automatically, these should // not be used directly by the architecture plugins CodeSymbolToken = 64, @@ -3368,6 +3370,10 @@ __attribute__ ((format (printf, 1, 2))) BINARYNINJACOREAPI BNFlowGraph* BNGetUnresolvedStackAdjustmentGraph(BNFunction* func); + BINARYNINJACOREAPI void BNSetVariableValue(BNFunction* func, const BNVariable* var, const BNArchitectureAndAddress* defSite, const BNPossibleValueSet* value); + BINARYNINJACOREAPI void BNClearInformedVariableValue(BNFunction* func, const BNVariable* var, const BNArchitectureAndAddress* defSite); + BINARYNINJACOREAPI void BNClearInformedVariableValues(BNFunction* func); + BINARYNINJACOREAPI void BNRequestFunctionDebugReport(BNFunction* func, const char* name); // Disassembly settings -- cgit v1.3.1