https://github.com/fkie-cad/FACT_core
link