1. [n.d.]. angr. https://angr.io [n.d.]. angr. https://angr.io
2. [n.d.]. Clang: a C language family frontend for LLVM. https://clang.llvm.org/ [n.d.]. Clang: a C language family frontend for LLVM. https://clang.llvm.org/
3. [n.d.]. CodeHawk. github.com/static-analysis-engineering/codehawk [n.d.]. CodeHawk. github.com/static-analysis-engineering/codehawk
4. [n.d.]. CodeHawk-Binary. https://github.com/static-analysis-engineering/CodeHawk-Binary [n.d.]. CodeHawk-Binary. https://github.com/static-analysis-engineering/CodeHawk-Binary
5. [n.d.]. cwe_checker. https://github.com/fkie-cad/cwe_checker [n.d.]. cwe_checker. https://github.com/fkie-cad/cwe_checker