haros icon indicating copy to clipboard operation
haros copied to clipboard
verified publisher icon git-afsantos

Binary Static Analysis

Open git-afsantos opened this issue 6 years ago • 0 comments

Add infrastructure and plugin support for binary static analysis. One of the goals of this analysis would be to extract models from compiled code, when access to the source is not available.

git-afsantos avatar Aug 22 '19 08:08 git-afsantos