Skip to content

Better assembly analysis

Luc Everse requested to merge better-assembly-analysis into development

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

Merge request reports