Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
  • This project
    • Loading...
  • Sign in / Register
C
cwe_checker
  • Overview
    • Overview
    • Details
    • Activity
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 0
    • Issues 0
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • fact-gitdep
  • cwe_checker
  • Repository

Switch branch/tag
  • cwe_checker
  • plugins
  • cwe_checker_emulation
History Find file
  • Source code
  • Download zip
  • Download tar.gz
  • Download tar.bz2
  • Download tar
  • Thomas Barabosch's avatar
    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 6 years ago
    095130c0
Name
Last commit
Last update
..
Makefile cwe_checker_emulation plugin using BAP's Primus (#15) 6 years ago
cwe_checker_emulation.ml cwe_checker_emulation plugin using BAP's Primus (#15) 6 years ago
incident_reporter.ml cwe_checker_emulation plugin using BAP's Primus (#15) 6 years ago