Support forward type propagation for function/variable. Fix Vector35#2725

Author: xusheng6

docs/guide/index.md

@@ -516,6 +516,7 @@ To search in the keybindings list, just click to make sure it's focused and star
  - `i` : Cycle between disassembly, LLIL, MLIL and HLIL
  - `t` : Switch to type view
  - `y` : Change type of currently selected element
+ - `q` : Forward propagate the type of the selected function or variable
  - `a` : Change the data type to an ASCII string
  - `[SHIFT] a` : Change the data type to a `wchar_t` string
  - `[OPT-SHIFT] a` (macOS) : Change the data type to a `wchar32_t` string

ui/commands.h

@@ -61,6 +61,9 @@ std::optional<size_t> getVariableDefinitionInstructionIndex(
 std::optional<size_t> getVariableDefinitionAddress(
     FunctionRef func, BNFunctionGraphType funcType, const BinaryNinja::Variable& var, size_t ilInstructionIndex);
 
+bool IsDefaultArgumentOrParameterName(const std::string& name);
+std::optional<std::string> GetVariableNameFromExpr(BinaryNinja::Function* func,
+	const BinaryNinja::HighLevelILInstruction& instr);
 
 /*!
 	@}

ui/flowgraphwidget.h

@@ -354,6 +354,9 @@ class BINARYNINJAUIAPI FlowGraphWidget :
 	void createFuncWithPlatform(PlatformRef platform, bool autoSelect = false);
 	void changeType();
 	void inferStructureType(const UIActionContext& context);
+	void forwardPropagateType();
+	void inferFunctionType();
+	void propagateVariableTypeAndName();
 	void comment();
 	void addUserXref();
 	void functionComment();

ui/linearview.h

@@ -331,6 +331,9 @@ private Q_SLOTS:
 	void editFunctionProperties();
 	void undefineFunc();
 	void reanalyze();
+	void forwardPropagateType();
+	void inferFunctionType();
+	void propagateVariableTypeAndName();
 	void comment();
 	void commentAccepted();
 	void addUserXref();