Better assembly analysis
Description
Improves static assembly analysis by fixing shortcomings in the parser and introducing full graph analysis.
Resolves #236 (closed)
Resolves #238
Resolves #239 (closed)
Resolves #243
Additions
- jmp and jcc are taken into account when determining call cycles
- ret ends a function
- control flow analysis by splitting blocks after conditional jumps
Test and Review
To be filled in by the reviewers
-
All of the methods are commented to expectation -
The methods are tested to satisfaction -
There are no unnecessary files present in the MR -
The continuous integration has no problems with the MR -
The MR is filled in as requested (including labels, milestones, and reviewers) -
The documentation is up-to-date -
All nullable parameters are marked as such
Edited by Luc Everse