- 26 Jun, 2019 1 commit
-
-
* 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
-
- 25 Jun, 2019 1 commit
-
-
Enkelmann authored
-
- 19 Jun, 2019 1 commit
-
-
* 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
-
- 18 Jun, 2019 1 commit
-
-
Enkelmann authored
-
- 17 Jun, 2019 1 commit
-
-
This ensures that cwe_checker is deployable with opam.
Enkelmann authored
-
- 14 Jun, 2019 6 commits
-
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
[tests] build test cases with Makefile; install cross compilers depending on Ubuntu version; commented out three broken acceptance tests
Thomas Barabosch authored -
[Refactoring] Improves code quality of acceptance tests: use self.assertEqual instead of plain asserts
Thomas Barabosch authored -
Initial version of type inference. It is still very rudimentary at the moment since it just tracks pointer but it's a very solid start!
Enkelmann authored
-
- 16 Apr, 2019 4 commits
-
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
* Added pre-commit hook for ocp-indent * Test for one file
Thomas Barabosch authored -
* 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
-
- 15 Apr, 2019 5 commits
-
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
- 05 Apr, 2019 2 commits
-
-
* Initial version of Type inference
Enkelmann authored -
* Building artificial samples with scons-2, removed makefile
Thomas Barabosch authored
-
- 29 Mar, 2019 1 commit
-
-
Thomas Barabosch authored
-
- 22 Feb, 2019 3 commits
-
-
* improved CWE476-check with dataflow analysis
Enkelmann authored -
Pre commit
Enkelmann authored -
Thomas Barabosch authored
-
- 21 Feb, 2019 2 commits
-
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
- 08 Feb, 2019 1 commit
-
-
This builds cwe_checker and runs the test suite on Travis CI.
Thomas Barabosch authored
-
- 05 Feb, 2019 2 commits
- 28 Jan, 2019 3 commits
-
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
- 22 Jan, 2019 5 commits
-
-
* reduced container size * removed caching in install script * size optimizations
Jörg Stucke authored -
Acceptance tests
Enkelmann authored -
Thomas Barabosch authored
-
Thomas Barabosch authored
-
Thomas Barabosch authored
-
- 21 Jan, 2019 1 commit
-
-
Thomas Barabosch authored
-