fkie-cad/cwe_checker issues and pull requests

#39 - command line error

Issue - State: closed - Opened by xwlin-roy about 5 years ago - 5 comments

#39 - command line error

Issue - State: closed - Opened by xwlin-roy about 5 years ago - 5 comments

#38 - analysis/type_inference: improve the complexity of nested_exp_list

Pull Request - State: closed - Opened by gasche about 5 years ago

#38 - analysis/type_inference: improve the complexity of nested_exp_list

Pull Request - State: closed - Opened by gasche about 5 years ago

#37 - Added online documentation

Pull Request - State: closed - Opened by Enkelmann about 5 years ago - 1 comment

#37 - Added online documentation

Pull Request - State: closed - Opened by Enkelmann about 5 years ago - 1 comment

#36 - Add more documentation to odoc-generated docs.

Pull Request - State: closed - Opened by Enkelmann over 5 years ago - 1 comment

#36 - Add more documentation to odoc-generated docs.

Pull Request - State: closed - Opened by Enkelmann over 5 years ago - 1 comment

#35 - Fix cwe_checker_to_ida, which was broken due to refactoring of logging

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#35 - Fix cwe_checker_to_ida, which was broken due to refactoring of logging

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#34 - The script for IDA doesn't work

Issue - State: closed - Opened by dukebarman over 5 years ago - 4 comments

#34 - The script for IDA doesn't work

Issue - State: closed - Opened by dukebarman over 5 years ago - 4 comments

#33 - Problem with start a docker container

Issue - State: closed - Opened by dukebarman over 5 years ago - 2 comments

#32 - added flag --no-logging to surpress logging to STDOUT

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#32 - added flag --no-logging to surpress logging to STDOUT

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#31 - Check path

Pull Request - State: closed - Opened by tbarabosch over 5 years ago - 2 comments

#30 - Refactoring of logging

Pull Request - State: closed - Opened by tbarabosch over 5 years ago - 2 comments

#29 - opam install cwe_checker error

Issue - State: closed - Opened by sucof over 5 years ago - 2 comments

#28 - Fixed CWE367: use symbols defined in config.json

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#27 - Adds clang as second compiler for test cases

Pull Request - State: closed - Opened by tbarabosch over 5 years ago - 3 comments

#26 - Added more documentation to checks

Pull Request - State: closed - Opened by Enkelmann over 5 years ago - 1 comment

#25 - Improve ida pro support and fix issue #24

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#24 - 'str' object has no attribute 'spit'

Issue - State: closed - Opened by gorgiaxx over 5 years ago - 3 comments
Labels: bug

#23 - Failed to find pass: cwe-checker

Issue - State: closed - Opened by gorgiaxx over 5 years ago - 9 comments

#22 - Preparing v0.2 Release

Pull Request - State: closed - Opened by Enkelmann over 5 years ago

#21 - Cwe 560

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#20 - Corrected dune linter warnings, linter warnings are now handled like errors.

Pull Request - State: closed - Opened by Enkelmann over 5 years ago - 1 comment

#19 - Opam

Pull Request - State: closed - Opened by Enkelmann over 5 years ago

#18 - Type inference

Pull Request - State: closed - Opened by Enkelmann over 5 years ago

#17 - Ocp indent

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#16 - Build artificial samples with scons instead of make

Pull Request - State: closed - Opened by tbarabosch over 5 years ago - 1 comment

#15 - cwe_checker_emulation plugin using BAP's Primus

Pull Request - State: closed - Opened by tbarabosch over 5 years ago - 2 comments

#14 - Type inference

Pull Request - State: closed - Opened by Enkelmann over 5 years ago - 8 comments

#13 - Pre commit

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#12 - Pre commit

Pull Request - State: closed - Opened by tbarabosch over 5 years ago

#11 - Cwe476

Pull Request - State: closed - Opened by Enkelmann over 5 years ago

#10 - Travis ci

Pull Request - State: closed - Opened by tbarabosch almost 6 years ago

#9 - Simple recipe for standard run

Pull Request - State: closed - Opened by Enkelmann almost 6 years ago - 1 comment

#8 - Add dockcross for C++ x86 cross compilation.

Pull Request - State: closed - Opened by Enkelmann almost 6 years ago - 2 comments

#7 - Acceptance tests

Pull Request - State: closed - Opened by tbarabosch almost 6 years ago - 1 comment

#6 - reduced container size

Pull Request - State: closed - Opened by jstucke almost 6 years ago
Labels: enhancement

#5 - Cwe248

Pull Request - State: closed - Opened by Enkelmann almost 6 years ago

#4 - docker optimized and markdown issues fixed

Pull Request - State: closed - Opened by weidenba almost 6 years ago - 2 comments

#3 - refactoring

Pull Request - State: closed - Opened by weidenba almost 6 years ago - 1 comment
Labels: enhancement

#2 - Add a Codacy badge to README.md

Pull Request - State: closed - Opened by codacy-badger almost 6 years ago

#1 - system upgrade

Pull Request - State: closed - Opened by weidenba about 6 years ago

GitHub / fkie-cad/cwe_checker issues and pull requests