fkie-cad/cwe_checker issues and pull requests

#472 - The Great Pcode Extractor Refactoring

Pull Request - State: open - Opened by vobst 5 months ago

#100 - implement check for CWE467 in Rust

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#99 - Enable tests

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#98 - Fix empty address for stack param

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#98 - Fix empty address for stack param

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#97 - Ghidra integration

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#97 - Ghidra integration

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#96 - Indirect call flows

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#96 - Indirect call flows

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#95 - Cwe560

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#94 - Substitute trivial expressions

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#94 - Substitute trivial expressions

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#93 - Fix implicit stores

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

#93 - Fix implicit stores

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

#92 - Changed .cspec match, so that the "id" attribute is matched instead o…

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#92 - Changed .cspec match, so that the "id" attribute is matched instead o…

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#91 - add Ghidra-based acceptance checks to CI pipeline

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

#91 - add Ghidra-based acceptance checks to CI pipeline

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

#90 - Ghidra acceptance tests

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#89 - Doc image

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#89 - Doc image

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#88 - Cwe 676 rs

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#88 - Cwe 676 rs

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#87 - Unaffected killed

Pull Request - State: closed - Opened by mellowCS about 4 years ago - 1 comment

#86 - Added p_code_extractor to cwe checker

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#85 - make ObjectList serialization more readable

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#84 - simplify object list

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#83 - Fixed a bug in the objdump output parsing in symbol_utils.ml

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#83 - Fixed a bug in the objdump output parsing in symbol_utils.ml

Pull Request - State: closed - Opened by mellowCS about 4 years ago

#82 - replace let-bindings

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#81 - Assessment does not end

Issue - State: closed - Opened by aug2uag about 4 years ago - 2 comments

#81 - Assessment does not end

Issue - State: closed - Opened by aug2uag about 4 years ago - 2 comments

#80 - set incident address to the jump and not the block for CWE476

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

#79 - remove build artifacts from docker image

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#79 - remove build artifacts from docker image

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#78 - Pointer inference refactor

Pull Request - State: closed - Opened by Enkelmann about 4 years ago

#77 - Fixpoint refactor

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

#77 - Fixpoint refactor

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

#76 - Domain refactor

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

#75 - Add Clippy and Rust fmt to CI-pipeline

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

#75 - Add Clippy and Rust fmt to CI-pipeline

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

#74 - Fixed ARSHIFT for shifts larger than the bitsize.

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

#74 - Fixed ARSHIFT for shifts larger than the bitsize.

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

#73 - Fix return

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

#73 - Fix return

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

#72 - Migrate Taint engine to Primus Taint

Issue - State: closed - Opened by XVilka over 4 years ago - 2 comments

#71 - Dyn sym refactor

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#70 - Rust interface

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

#70 - Rust interface

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

#69 - Extended cconv tests

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#69 - Extended cconv tests

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#68 - Print a warning if no calls to extern symbols are found

Issue - State: closed - Opened by Enkelmann over 4 years ago - 1 comment

#67 - Unittest flexibility

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#67 - Unittest flexibility

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#66 - Added deprecation warnings to the emulation based checks.

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

#65 - Do not panic if two terms with the same Tid are encountered.

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

#65 - Do not panic if two terms with the same Tid are encountered.

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

#64 - [Map.add exn] got key already present

Issue - State: closed - Opened by WilliamCoffeyTri over 4 years ago - 12 comments

#64 - [Map.add exn] got key already present

Issue - State: closed - Opened by WilliamCoffeyTri over 4 years ago - 12 comments

#63 - -out option not working when running emulation checks

Issue - State: closed - Opened by curtlawson over 4 years ago - 3 comments

#62 - Address translation

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#62 - Address translation

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#61 - failed to build a project: Tag_sexp

Issue - State: closed - Opened by frakman1 over 4 years ago - 24 comments

#60 - Migration from travis-ci.org to travis-ci.com

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

#59 - Adapt cconv

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#58 - Symbol checking

Pull Request - State: closed - Opened by mellowCS over 4 years ago - 1 comment

#58 - Symbol checking

Pull Request - State: closed - Opened by mellowCS over 4 years ago - 1 comment

#57 - Version number

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

#57 - Version number

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

#56 - Unclear instructions on how to run with Ida

Issue - State: closed - Opened by paramikoooo over 4 years ago - 3 comments

#56 - Unclear instructions on how to run with Ida

Issue - State: closed - Opened by paramikoooo over 4 years ago - 3 comments

#55 - Error while executing

Issue - State: closed - Opened by 0xd3xt3r over 4 years ago - 8 comments

#55 - Error while executing

Issue - State: closed - Opened by 0xd3xt3r over 4 years ago - 8 comments

#54 - Compiled Juliet 1.3 C/C++ Test Suite Issues

Issue - State: closed - Opened by DwarDoh over 4 years ago - 7 comments

#54 - Compiled Juliet 1.3 C/C++ Test Suite Issues

Issue - State: closed - Opened by DwarDoh over 4 years ago - 7 comments

#53 - Test compiling

Pull Request - State: closed - Opened by mellowCS over 4 years ago - 5 comments

#53 - Test compiling

Pull Request - State: closed - Opened by mellowCS over 4 years ago - 5 comments

#52 - Dedup incident report

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#51 - switched from readelf to objdump in cwe_215.ml and cconv.ml.

Pull Request - State: closed - Opened by mellowCS over 4 years ago

#50 - implement more robust incident handling

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

#50 - implement more robust incident handling

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

#49 - Bap2.0

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

#49 - Bap2.0

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

#48 - Enabled unittests for Travis CI. Fixed get_program_entry_points.

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

#48 - Enabled unittests for Travis CI. Fixed get_program_entry_points.

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

#47 - Cwe476

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

#47 - Cwe476

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

#46 - Test compiling

Pull Request - State: closed - Opened by mellowCS almost 5 years ago

#46 - Test compiling

Pull Request - State: closed - Opened by mellowCS almost 5 years ago

#45 - Add Cutter/Rizin/Radare2 plugins

Issue - State: closed - Opened by XVilka almost 5 years ago - 2 comments
Labels: enhancement, good first issue

#45 - Add Cutter/Rizin/Radare2 plugins

Issue - State: closed - Opened by XVilka almost 5 years ago - 2 comments
Labels: enhancement, good first issue

#44 - V0.3

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

#43 - Ghidra bugfix

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

#43 - Ghidra bugfix

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

#42 - add Ghidra plugin

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

#42 - add Ghidra plugin

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

#41 - BAP 2.0 migration

Issue - State: closed - Opened by XVilka almost 5 years ago - 2 comments

#41 - BAP 2.0 migration

Issue - State: closed - Opened by XVilka almost 5 years ago - 2 comments

#40 - Cwe caller

Pull Request - State: closed - Opened by mellowCS about 5 years ago - 3 comments

#40 - Cwe caller

Pull Request - State: closed - Opened by mellowCS about 5 years ago - 3 comments

GitHub / fkie-cad/cwe_checker issues and pull requests