Binary Static Analysis - Githubissues

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

MIT License

191 stars 37 forks source link

Binary Static Analysis #76

Closed git-afsantos closed 4 months ago

git-afsantos commented 5 years ago

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.