This pr updates the underlying processing logic of interprocedural analysis in senryx:
In the global variable cache mode, if the objective function has been analyzed and the abstract state of the input parameter is the same as that in the cache, the objective function is updated directly. Otherwise, the objective function is analyzed line by line
In addition, the test case in from_raw_parts is increased by SP type and the method soundness case with struct is added
This pr updates the underlying processing logic of interprocedural analysis in senryx: In the global variable cache mode, if the objective function has been analyzed and the abstract state of the input parameter is the same as that in the cache, the objective function is updated directly. Otherwise, the objective function is analyzed line by line
In addition, the test case in from_raw_parts is increased by SP type and the method soundness case with struct is added