1. 26 Jun, 2019 1 commit
    • Preparing v0.2 Release (#22) · 62021a65
      * corrected dune linter warnings
      
      * Adjusted maintainer
      
      * Added SCons to dependency list, added CONTRIBUTORS.md
      
      * Set release date of v0.2
      
      * added some spaces
      
      * Pack the core library into the same opam package
      
      * Fix Codacy Issues
      Enkelmann authored
  2. 25 Jun, 2019 1 commit
  3. 19 Jun, 2019 1 commit
    • Cwe 560 (#21) · 89c388b2
      * Initial version of CWE560 check
      
      * CWE560 identifies calls to umask, missing the check of the umask calls.
      
      * Initial version of CWE560 check
      
      * CWE560 identifies calls to umask, missing the check of the umask calls.
      
      * [cwe560] works for x64, fix function check_umask_call to detect on
      other arches
      
      * Initial version of CWE560 check
      
      * CWE560 identifies calls to umask, missing the check of the umask calls.
      
      * Initial version of CWE560 check
      
      * [cwe560] works for x64, fix function check_umask_call to detect on
      other arches
      
      * Now working on the other architectures
      
      * Refactored version of check for CWE 560 that work on several architectures. Added first unit tests for the checkers code base
      
      * Fixes some dune warnings.
      
      * Added CWE 560 to CHANGES.md. Fixes another dune warning.
      
      * Requested change: Private module as a wrapper for unit tests
      Thomas Barabosch authored
  4. 18 Jun, 2019 1 commit
  5. 17 Jun, 2019 1 commit
  6. 14 Jun, 2019 6 commits
  7. 16 Apr, 2019 4 commits
    • Removed .merlin · 5efbae5a
      Thomas Barabosch authored
    • Ocp indent (#17) · b002306f
      * Added pre-commit hook for ocp-indent
      
      * Test for one file
      Thomas Barabosch authored
    • 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
  8. 15 Apr, 2019 5 commits
  9. 05 Apr, 2019 2 commits
  10. 29 Mar, 2019 1 commit
  11. 22 Feb, 2019 3 commits
  12. 21 Feb, 2019 2 commits
  13. 08 Feb, 2019 1 commit
  14. 05 Feb, 2019 2 commits
  15. 28 Jan, 2019 3 commits
  16. 22 Jan, 2019 5 commits
  17. 21 Jan, 2019 1 commit