1. 21 Jul, 2020 1 commit
    • Rust interface (#70) · 8e575abc
      Added brand new (and still experimental) checks for CWEs 415 and 416 together with a new interprocedural data-flow analysis engine written in Rust. Add `-partial=Memory` as command line flag to try out the new checks.
      Enkelmann authored
  2. 29 Jul, 2019 1 commit
    • Adds clang as second compiler for test cases (#27) · 5ad922d2
      * Added feature to compiler test cases with more than one compiler. Added clang as first examples. Fixed test cases to work with gcc
      
      * Added acceptance tests for clang x64, adjusted Travis scripts (now
      runs also unittests), install_cross_compilers installs also clang.
      
      * Skips test for cwe415, which is broken on clang + Ubuntu 16.04
      
      * Added feature to compiler test cases with more than one compiler. Added clang as first examples. Fixed test cases to work with gcc
      
      * Added acceptance tests for clang x64, adjusted Travis scripts (now
      runs also unittests), install_cross_compilers installs also clang.
      
      * Skips test for cwe415, which is broken on clang + Ubuntu 16.04
      
      * Added change to CHANGES.md
      
      * Fixed test issue: test for json output was pre-compiler suffix.
      Thomas Barabosch authored
  3. 16 Apr, 2019 1 commit
    • cwe_checker_emulation plugin using BAP's Primus (#15) · 095130c0
      * Initial commit of cwe_checker emulation feature using bap primus under the hood.
      
      * Fixed some Core issues with Maps and Hashtbls
      
      * Moved plugins to their own folders as expected by BAP.
      
      * Added .merlin since everybody likes merlin
      
      * Further improvements in the build process
      
      * Commented cwe_checker_emulation plugin
      
      * cwe_checker_emulation detects double frees with the help of Primus.
      
      * Refactoring of cwe_checker_emulation, extracted incident reporting to
      module Incident_reporter.
      
      * Added test cases for cwe125, cwe416, and modified cwe415.
      
      * Now reporting use-after-free correctly
      
      * Adjusted README
      
      * Adjusted CHANGES.md.
      
      * Added spaces to content codacy.
      
      * Adjusted build process for emulation plugin
      
      * fixed emulation recipe
      
      * Reports out-out-bounds read/writes, events are not reported multiple times now.
      
      * Adds tests for cwe-415 and cwe-416. Arritifical examples for cwe-125 and cwe-787
      
      * Travis aware emulation tests.
      
      * Fixed acceptance tests.
      Thomas Barabosch authored
  4. 08 Feb, 2019 1 commit
  5. 21 Jan, 2019 1 commit