Add an option to decompiler to allow auto-commit function param/returns #11
Labels
difficulty: medium
requires some internal insights of the project itself
Milestone
Currently when analyzing, the function params and return values analyzed are not stored in database by default.
So whenever decompile a function, its called function params are analyzed out of the view of the caller. This is not the way IDA handles it and gives an illusion that its param analysis failed since the caller's view of the function and the callee's view of the function signature are inconsistent.
An example to illustrate this:
This one above is what caller thinks
test_function
should look like.But if we take a look at the callee
test_function
itself:It actually thinks it has only one parameter. This looks a lot like they are inconsistent.
However, this is just a mechanism since the params are not applied to the database.
If we do:
Then everything would be fine now:
We should add an option of automatically do this when doing basic analysis (if I'm not mis-remembered, when doing auto analysis, a basic decompiling is performed to most functions), they should be automatically commited. so we get a consistent view.
The text was updated successfully, but these errors were encountered: