├── .dockerignore ├── .github └── workflows │ ├── acceptance-tests.yml │ ├── codestyle_checks.yml │ ├── docker-publish-stable.yml │ ├── docker-publish.yml │ └── unit-tests.yml ├── .gitignore ├── .rustfmt.toml ├── CHANGES.md ├── CONTRIBUTORS.md ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── LICENSE ├── Makefile ├── README.md ├── bare_metal └── stm32f407vg.json ├── cwe_checker_to_ida ├── CweCheckerParser.py ├── Generator.py └── cwe_checker_to_ida.py ├── doc ├── images │ ├── cwe_checker_logo.png │ ├── example_ghidra_integration.png │ ├── example_ida_anotation.png │ ├── example_usage.png │ ├── extern_calls.png │ ├── internal_function_call.png │ └── node_edge.png └── slides │ ├── cwe_checker_BlackHatUSA2019.pdf │ ├── cwe_checker_BlackHatUSA2022.pdf │ └── cwe_checker_pts19.pdf ├── flake.lock ├── flake.nix ├── ghidra_plugin └── cwe_checker_ghidra_plugin.py ├── src ├── caller │ ├── Cargo.toml │ └── src │ │ ├── cfg_stats.rs │ │ └── main.rs ├── config.json ├── cwe_checker_lib │ ├── Cargo.toml │ ├── benches │ │ ├── _data │ │ │ └── .gitkeep │ │ └── benchmarks.rs │ └── src │ │ ├── abstract_domain │ │ ├── bitvector.rs │ │ ├── bricks.rs │ │ ├── bricks │ │ │ ├── brick.rs │ │ │ ├── tests.rs │ │ │ └── widening.rs │ │ ├── character_inclusion.rs │ │ ├── data.rs │ │ ├── data │ │ │ ├── arithmetics.rs │ │ │ ├── conditional_specialization.rs │ │ │ └── trait_impl.rs │ │ ├── domain_map.rs │ │ ├── identifier │ │ │ ├── location.rs │ │ │ ├── mem_location.rs │ │ │ └── mod.rs │ │ ├── interval.rs │ │ ├── interval │ │ │ ├── bin_ops.rs │ │ │ ├── simple_interval.rs │ │ │ ├── simple_interval │ │ │ │ └── tests.rs │ │ │ └── tests.rs │ │ ├── mem_region.rs │ │ ├── mem_region │ │ │ └── tests.rs │ │ ├── mod.rs │ │ └── strings.rs │ │ ├── analysis │ │ ├── backward_interprocedural_fixpoint │ │ │ ├── mock_context.rs │ │ │ ├── mod.rs │ │ │ └── tests.rs │ │ ├── callgraph.rs │ │ ├── fixpoint.rs │ │ ├── forward_interprocedural_fixpoint.rs │ │ ├── function_signature │ │ │ ├── access_pattern.rs │ │ │ ├── context │ │ │ │ ├── mod.rs │ │ │ │ └── tests.rs │ │ │ ├── global_var_propagation.rs │ │ │ ├── mod.rs │ │ │ ├── state │ │ │ │ ├── call_handling │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── tests.rs │ │ │ │ ├── memory_handling.rs │ │ │ │ ├── mod.rs │ │ │ │ └── tests.rs │ │ │ ├── stubs.rs │ │ │ └── tests.rs │ │ ├── graph.rs │ │ ├── graph │ │ │ ├── algo.rs │ │ │ ├── call.rs │ │ │ ├── intraprocedural_cfg.rs │ │ │ └── intraprocedural_cfg │ │ │ │ ├── dom.rs │ │ │ │ ├── natural_loops.rs │ │ │ │ └── properties.rs │ │ ├── interprocedural_fixpoint_generic.rs │ │ ├── mod.rs │ │ ├── pointer_inference │ │ │ ├── context │ │ │ │ ├── id_manipulation.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── stubs.rs │ │ │ │ ├── tests.rs │ │ │ │ └── trait_impls.rs │ │ │ ├── mod.rs │ │ │ ├── object │ │ │ │ ├── id_manipulation.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── tests.rs │ │ │ │ └── value_access.rs │ │ │ ├── object_list │ │ │ │ ├── id_manipulation.rs │ │ │ │ ├── list_manipulation.rs │ │ │ │ ├── mod.rs │ │ │ │ └── tests.rs │ │ │ ├── state │ │ │ │ ├── access_handling.rs │ │ │ │ ├── id_manipulation.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── tests │ │ │ │ │ ├── access_handling.rs │ │ │ │ │ ├── id_manipulation.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── specialized_expressions.rs │ │ │ │ └── value_specialization.rs │ │ │ ├── statistics.rs │ │ │ └── vsa_result_impl.rs │ │ ├── string_abstraction │ │ │ ├── context │ │ │ │ ├── mod.rs │ │ │ │ ├── symbol_calls.rs │ │ │ │ ├── symbol_calls │ │ │ │ │ ├── memcpy.rs │ │ │ │ │ ├── scanf.rs │ │ │ │ │ ├── sprintf.rs │ │ │ │ │ ├── sprintf │ │ │ │ │ │ └── tests.rs │ │ │ │ │ ├── strcat.rs │ │ │ │ │ └── tests.rs │ │ │ │ ├── tests.rs │ │ │ │ ├── trait_impls.rs │ │ │ │ └── trait_impls │ │ │ │ │ └── tests.rs │ │ │ ├── mod.rs │ │ │ ├── state │ │ │ │ ├── mod.rs │ │ │ │ └── tests.rs │ │ │ └── tests.rs │ │ ├── taint │ │ │ ├── mod.rs │ │ │ ├── state.rs │ │ │ └── state │ │ │ │ ├── memory_taint.rs │ │ │ │ ├── register_taint.rs │ │ │ │ └── tests.rs │ │ └── vsa_results │ │ │ └── mod.rs │ │ ├── checkers.rs │ │ ├── checkers │ │ ├── cwe_119 │ │ │ ├── context │ │ │ │ ├── bounds_computation.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── param_replacement.rs │ │ │ │ ├── tests.rs │ │ │ │ └── trait_impls.rs │ │ │ ├── mod.rs │ │ │ ├── state.rs │ │ │ └── stubs.rs │ │ ├── cwe_134.rs │ │ ├── cwe_190.rs │ │ ├── cwe_215.rs │ │ ├── cwe_243.rs │ │ ├── cwe_252.rs │ │ ├── cwe_252 │ │ │ ├── context.rs │ │ │ └── isolated_returns.rs │ │ ├── cwe_332.rs │ │ ├── cwe_337.rs │ │ ├── cwe_367.rs │ │ ├── cwe_416 │ │ │ ├── context.rs │ │ │ ├── mod.rs │ │ │ └── state.rs │ │ ├── cwe_426.rs │ │ ├── cwe_467.rs │ │ ├── cwe_476.rs │ │ ├── cwe_476 │ │ │ └── context.rs │ │ ├── cwe_560.rs │ │ ├── cwe_676.rs │ │ ├── cwe_78.rs │ │ ├── cwe_782.rs │ │ └── cwe_789.rs │ │ ├── ghidra_pcode │ │ ├── block │ │ │ ├── mod.rs │ │ │ └── tests.rs │ │ ├── calling_convention │ │ │ └── mod.rs │ │ ├── datatype_properties.rs │ │ ├── function │ │ │ ├── extern_function.rs │ │ │ ├── extern_function │ │ │ │ └── domain_knowledge │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── scanf_sscanf.rs │ │ │ └── mod.rs │ │ ├── instruction │ │ │ └── mod.rs │ │ ├── ir_passes │ │ │ ├── entry_points.rs │ │ │ ├── fn_start_blocks.rs │ │ │ ├── inlining.rs │ │ │ ├── jump_targets.rs │ │ │ ├── mod.rs │ │ │ ├── nonret_ext_functions.rs │ │ │ ├── remove_empty_functions.rs │ │ │ ├── replace_call_to_ext_fn.rs │ │ │ ├── single_target_indirect_calls.rs │ │ │ ├── subregister_substitution.rs │ │ │ └── subregister_substitution │ │ │ │ └── tests.rs │ │ ├── mod.rs │ │ ├── pcode_opcode.rs │ │ ├── pcode_operation │ │ │ ├── jumps │ │ │ │ ├── mod.rs │ │ │ │ └── tests.rs │ │ │ ├── mod.rs │ │ │ └── tests.rs │ │ ├── program.rs │ │ ├── register_properties.rs │ │ ├── term.rs │ │ └── varnode │ │ │ └── mod.rs │ │ ├── intermediate_representation │ │ ├── bitvector.rs │ │ ├── blk.rs │ │ ├── def.rs │ │ ├── expression.rs │ │ ├── expression │ │ │ ├── builder.rs │ │ │ ├── tests.rs │ │ │ └── trivial_operation_substitution.rs │ │ ├── jmp.rs │ │ ├── macros │ │ │ ├── mod.rs │ │ │ └── tests.rs │ │ ├── mod.rs │ │ ├── program.rs │ │ ├── project.rs │ │ ├── project │ │ │ └── ir_passes │ │ │ │ ├── control_flow_propagation.rs │ │ │ │ ├── dead_variable_elim.rs │ │ │ │ ├── dead_variable_elim │ │ │ │ └── fixpoint_computation.rs │ │ │ │ ├── input_expression_propagation.rs │ │ │ │ ├── input_expression_propagation │ │ │ │ ├── fixpoint_computation.rs │ │ │ │ └── tests.rs │ │ │ │ ├── intraprocedural_dead_block_elim.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── stack_pointer_alignment_substitution.rs │ │ │ │ ├── stack_pointer_alignment_substitution │ │ │ │ ├── legacy.rs │ │ │ │ └── legacy │ │ │ │ │ └── tests.rs │ │ │ │ └── trivial_expression_substitution.rs │ │ ├── runtime_memory_image.rs │ │ ├── sub.rs │ │ ├── term.rs │ │ ├── term │ │ │ ├── builder_high_lvl.rs │ │ │ └── builder_low_lvl.rs │ │ └── variable.rs │ │ ├── lib.rs │ │ ├── pipeline │ │ ├── mod.rs │ │ └── results.rs │ │ └── utils │ │ ├── arguments.rs │ │ ├── arguments │ │ └── tests.rs │ │ ├── binary.rs │ │ ├── debug.rs │ │ ├── ghidra.rs │ │ ├── graph_utils.rs │ │ ├── log.rs │ │ ├── mod.rs │ │ └── symbol_utils.rs ├── ghidra │ └── p_code_extractor │ │ ├── Block.java │ │ ├── CallingConvention.java │ │ ├── DatatypeProperties.java │ │ ├── ExternFunction.java │ │ ├── Function.java │ │ ├── Instruction.java │ │ ├── PcodeExtractor.java │ │ ├── PcodeOp.java │ │ ├── PcodeProject.java │ │ ├── Program.java │ │ ├── RegisterProperties.java │ │ ├── Term.java │ │ └── Varnode.java ├── installer │ ├── Cargo.toml │ └── src │ │ └── main.rs └── lkm_config.json └── test ├── Cargo.toml ├── artificial_samples ├── .dockerignore ├── Dockerfile ├── Readme.md ├── SConstruct ├── arrays.c ├── c_constructs.c ├── check_path.c ├── cwe_119.c ├── cwe_134.c ├── cwe_190.c ├── cwe_243.c ├── cwe_243_clean.c ├── cwe_252.c ├── cwe_332.c ├── cwe_337.c ├── cwe_367.c ├── cwe_415.c ├── cwe_416.c ├── cwe_426.c ├── cwe_457.c ├── cwe_467.c ├── cwe_476.c ├── cwe_478.c ├── cwe_560.c ├── cwe_676.c ├── cwe_78.c ├── cwe_782.c ├── cwe_789.c ├── install_cross_compilers.sh └── memory_access.c ├── bare_metal_samples └── test_sample.bin ├── lkm_samples ├── .gitignore ├── Dockerfile ├── Makefile ├── Readme.md ├── build.sh ├── cwe_252.c ├── cwe_467.c ├── cwe_476.c ├── cwe_676.c ├── debug.config.fragment └── modules.config.fragment └── src └── lib.rs /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/workflows/acceptance-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.github/workflows/acceptance-tests.yml -------------------------------------------------------------------------------- /.github/workflows/codestyle_checks.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.github/workflows/codestyle_checks.yml -------------------------------------------------------------------------------- /.github/workflows/docker-publish-stable.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.github/workflows/docker-publish-stable.yml -------------------------------------------------------------------------------- /.github/workflows/docker-publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.github/workflows/docker-publish.yml -------------------------------------------------------------------------------- /.github/workflows/unit-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.github/workflows/unit-tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/.gitignore -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/CHANGES.md -------------------------------------------------------------------------------- /CONTRIBUTORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/CONTRIBUTORS.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/README.md -------------------------------------------------------------------------------- /bare_metal/stm32f407vg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/bare_metal/stm32f407vg.json -------------------------------------------------------------------------------- /cwe_checker_to_ida/CweCheckerParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/cwe_checker_to_ida/CweCheckerParser.py -------------------------------------------------------------------------------- /cwe_checker_to_ida/Generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/cwe_checker_to_ida/Generator.py -------------------------------------------------------------------------------- /cwe_checker_to_ida/cwe_checker_to_ida.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/cwe_checker_to_ida/cwe_checker_to_ida.py -------------------------------------------------------------------------------- /doc/images/cwe_checker_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/cwe_checker_logo.png -------------------------------------------------------------------------------- /doc/images/example_ghidra_integration.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/example_ghidra_integration.png -------------------------------------------------------------------------------- /doc/images/example_ida_anotation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/example_ida_anotation.png -------------------------------------------------------------------------------- /doc/images/example_usage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/example_usage.png -------------------------------------------------------------------------------- /doc/images/extern_calls.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/extern_calls.png -------------------------------------------------------------------------------- /doc/images/internal_function_call.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/internal_function_call.png -------------------------------------------------------------------------------- /doc/images/node_edge.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/images/node_edge.png -------------------------------------------------------------------------------- /doc/slides/cwe_checker_BlackHatUSA2019.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/slides/cwe_checker_BlackHatUSA2019.pdf -------------------------------------------------------------------------------- /doc/slides/cwe_checker_BlackHatUSA2022.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/slides/cwe_checker_BlackHatUSA2022.pdf -------------------------------------------------------------------------------- /doc/slides/cwe_checker_pts19.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/doc/slides/cwe_checker_pts19.pdf -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/flake.nix -------------------------------------------------------------------------------- /ghidra_plugin/cwe_checker_ghidra_plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/ghidra_plugin/cwe_checker_ghidra_plugin.py -------------------------------------------------------------------------------- /src/caller/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/caller/Cargo.toml -------------------------------------------------------------------------------- /src/caller/src/cfg_stats.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/caller/src/cfg_stats.rs -------------------------------------------------------------------------------- /src/caller/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/caller/src/main.rs -------------------------------------------------------------------------------- /src/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/config.json -------------------------------------------------------------------------------- /src/cwe_checker_lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/Cargo.toml -------------------------------------------------------------------------------- /src/cwe_checker_lib/benches/_data/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/cwe_checker_lib/benches/benchmarks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/benches/benchmarks.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/bitvector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/bitvector.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/bricks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/bricks.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/bricks/brick.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/bricks/brick.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/bricks/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/bricks/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/bricks/widening.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/bricks/widening.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/character_inclusion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/character_inclusion.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/data.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/data/arithmetics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/data/arithmetics.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/data/conditional_specialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/data/conditional_specialization.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/data/trait_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/data/trait_impl.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/domain_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/domain_map.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/identifier/location.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/identifier/location.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/identifier/mem_location.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/identifier/mem_location.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/identifier/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/identifier/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/interval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/interval.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/interval/bin_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/interval/bin_ops.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/interval/simple_interval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/interval/simple_interval.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/interval/simple_interval/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/interval/simple_interval/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/interval/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/interval/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/mem_region.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/mem_region.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/mem_region/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/mem_region/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/abstract_domain/strings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/abstract_domain/strings.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/backward_interprocedural_fixpoint/mock_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/backward_interprocedural_fixpoint/mock_context.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/backward_interprocedural_fixpoint/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/backward_interprocedural_fixpoint/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/backward_interprocedural_fixpoint/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/backward_interprocedural_fixpoint/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/callgraph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/callgraph.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/fixpoint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/fixpoint.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/forward_interprocedural_fixpoint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/forward_interprocedural_fixpoint.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/access_pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/access_pattern.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/context/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/context/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/context/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/context/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/global_var_propagation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/global_var_propagation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/state/call_handling/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/state/call_handling/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/state/call_handling/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/state/call_handling/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/state/memory_handling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/state/memory_handling.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/state/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/state/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/state/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/state/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/stubs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/stubs.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/function_signature/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/function_signature/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph/algo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph/algo.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph/call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph/call.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg/dom.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg/dom.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg/natural_loops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg/natural_loops.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg/properties.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/graph/intraprocedural_cfg/properties.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/interprocedural_fixpoint_generic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/interprocedural_fixpoint_generic.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/context/id_manipulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/context/id_manipulation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/context/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/context/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/context/stubs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/context/stubs.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/context/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/context/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/context/trait_impls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/context/trait_impls.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object/id_manipulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object/id_manipulation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object/value_access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object/value_access.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object_list/id_manipulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object_list/id_manipulation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object_list/list_manipulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object_list/list_manipulation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object_list/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object_list/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/object_list/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/object_list/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/access_handling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/access_handling.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/id_manipulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/id_manipulation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/access_handling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/access_handling.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/id_manipulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/id_manipulation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/specialized_expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/tests/specialized_expressions.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/state/value_specialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/state/value_specialization.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/statistics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/statistics.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/pointer_inference/vsa_result_impl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/pointer_inference/vsa_result_impl.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/memcpy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/memcpy.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/scanf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/scanf.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/sprintf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/sprintf.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/sprintf/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/sprintf/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/strcat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/strcat.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/symbol_calls/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/trait_impls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/trait_impls.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/context/trait_impls/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/context/trait_impls/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/state/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/state/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/state/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/state/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/string_abstraction/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/string_abstraction/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/taint/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/taint/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/taint/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/taint/state.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/taint/state/memory_taint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/taint/state/memory_taint.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/taint/state/register_taint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/taint/state/register_taint.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/taint/state/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/taint/state/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/analysis/vsa_results/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/analysis/vsa_results/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/context/bounds_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/context/bounds_computation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/context/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/context/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/context/param_replacement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/context/param_replacement.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/context/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/context/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/context/trait_impls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/context/trait_impls.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/state.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_119/stubs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_119/stubs.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_134.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_134.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_190.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_190.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_215.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_215.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_243.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_243.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_252.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_252.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_252/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_252/context.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_252/isolated_returns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_252/isolated_returns.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_332.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_332.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_337.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_337.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_367.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_367.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_416/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_416/context.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_416/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_416/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_416/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_416/state.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_426.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_426.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_467.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_467.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_476.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_476.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_476/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_476/context.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_560.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_560.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_676.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_676.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_78.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_78.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_782.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_782.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/checkers/cwe_789.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/checkers/cwe_789.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/block/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/block/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/block/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/block/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/calling_convention/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/calling_convention/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/datatype_properties.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/datatype_properties.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/function/extern_function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/function/extern_function.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/function/extern_function/domain_knowledge/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/function/extern_function/domain_knowledge/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/function/extern_function/domain_knowledge/scanf_sscanf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/function/extern_function/domain_knowledge/scanf_sscanf.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/function/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/function/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/instruction/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/instruction/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/entry_points.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/entry_points.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/fn_start_blocks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/fn_start_blocks.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/inlining.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/inlining.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/jump_targets.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/jump_targets.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/nonret_ext_functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/nonret_ext_functions.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/remove_empty_functions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/remove_empty_functions.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/replace_call_to_ext_fn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/replace_call_to_ext_fn.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/single_target_indirect_calls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/single_target_indirect_calls.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/subregister_substitution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/subregister_substitution.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/ir_passes/subregister_substitution/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/ir_passes/subregister_substitution/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/pcode_opcode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/pcode_opcode.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/jumps/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/jumps/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/jumps/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/jumps/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/pcode_operation/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/program.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/register_properties.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/register_properties.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/term.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/term.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/ghidra_pcode/varnode/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/ghidra_pcode/varnode/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/bitvector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/bitvector.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/blk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/blk.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/def.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/expression.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/expression/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/expression/builder.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/expression/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/expression/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/expression/trivial_operation_substitution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/expression/trivial_operation_substitution.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/jmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/jmp.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/macros/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/macros/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/macros/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/macros/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/program.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/control_flow_propagation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/control_flow_propagation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/dead_variable_elim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/dead_variable_elim.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/dead_variable_elim/fixpoint_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/dead_variable_elim/fixpoint_computation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/input_expression_propagation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/input_expression_propagation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/input_expression_propagation/fixpoint_computation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/input_expression_propagation/fixpoint_computation.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/input_expression_propagation/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/input_expression_propagation/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/intraprocedural_dead_block_elim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/intraprocedural_dead_block_elim.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/stack_pointer_alignment_substitution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/stack_pointer_alignment_substitution.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/stack_pointer_alignment_substitution/legacy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/stack_pointer_alignment_substitution/legacy.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/stack_pointer_alignment_substitution/legacy/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/stack_pointer_alignment_substitution/legacy/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/trivial_expression_substitution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/project/ir_passes/trivial_expression_substitution.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/runtime_memory_image.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/runtime_memory_image.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/sub.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/term.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/term.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/term/builder_high_lvl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/term/builder_high_lvl.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/term/builder_low_lvl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/term/builder_low_lvl.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/intermediate_representation/variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/intermediate_representation/variable.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/lib.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/pipeline/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/pipeline/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/pipeline/results.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/pipeline/results.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/arguments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/arguments.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/arguments/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/arguments/tests.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/binary.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/binary.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/debug.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/ghidra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/ghidra.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/graph_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/graph_utils.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/log.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/mod.rs -------------------------------------------------------------------------------- /src/cwe_checker_lib/src/utils/symbol_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/cwe_checker_lib/src/utils/symbol_utils.rs -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/Block.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/Block.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/CallingConvention.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/CallingConvention.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/DatatypeProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/DatatypeProperties.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/ExternFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/ExternFunction.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/Function.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/Function.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/Instruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/Instruction.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/PcodeExtractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/PcodeExtractor.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/PcodeOp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/PcodeOp.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/PcodeProject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/PcodeProject.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/Program.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/Program.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/RegisterProperties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/RegisterProperties.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/Term.java -------------------------------------------------------------------------------- /src/ghidra/p_code_extractor/Varnode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/ghidra/p_code_extractor/Varnode.java -------------------------------------------------------------------------------- /src/installer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/installer/Cargo.toml -------------------------------------------------------------------------------- /src/installer/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/installer/src/main.rs -------------------------------------------------------------------------------- /src/lkm_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/src/lkm_config.json -------------------------------------------------------------------------------- /test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/Cargo.toml -------------------------------------------------------------------------------- /test/artificial_samples/.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/.dockerignore -------------------------------------------------------------------------------- /test/artificial_samples/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/Dockerfile -------------------------------------------------------------------------------- /test/artificial_samples/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/Readme.md -------------------------------------------------------------------------------- /test/artificial_samples/SConstruct: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/SConstruct -------------------------------------------------------------------------------- /test/artificial_samples/arrays.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/arrays.c -------------------------------------------------------------------------------- /test/artificial_samples/c_constructs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/c_constructs.c -------------------------------------------------------------------------------- /test/artificial_samples/check_path.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/check_path.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_119.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_119.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_134.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_134.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_190.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_190.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_243.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_243.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_243_clean.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_243_clean.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_252.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_252.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_332.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_332.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_337.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_337.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_367.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_367.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_415.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_415.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_416.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_416.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_426.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_426.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_457.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_457.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_467.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_467.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_476.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_476.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_478.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_478.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_560.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_560.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_676.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_676.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_78.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_78.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_782.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_782.c -------------------------------------------------------------------------------- /test/artificial_samples/cwe_789.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/cwe_789.c -------------------------------------------------------------------------------- /test/artificial_samples/install_cross_compilers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/install_cross_compilers.sh -------------------------------------------------------------------------------- /test/artificial_samples/memory_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/artificial_samples/memory_access.c -------------------------------------------------------------------------------- /test/bare_metal_samples/test_sample.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/bare_metal_samples/test_sample.bin -------------------------------------------------------------------------------- /test/lkm_samples/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | -------------------------------------------------------------------------------- /test/lkm_samples/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/Dockerfile -------------------------------------------------------------------------------- /test/lkm_samples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/Makefile -------------------------------------------------------------------------------- /test/lkm_samples/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/Readme.md -------------------------------------------------------------------------------- /test/lkm_samples/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/build.sh -------------------------------------------------------------------------------- /test/lkm_samples/cwe_252.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/cwe_252.c -------------------------------------------------------------------------------- /test/lkm_samples/cwe_467.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/cwe_467.c -------------------------------------------------------------------------------- /test/lkm_samples/cwe_476.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/cwe_476.c -------------------------------------------------------------------------------- /test/lkm_samples/cwe_676.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/cwe_676.c -------------------------------------------------------------------------------- /test/lkm_samples/debug.config.fragment: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/debug.config.fragment -------------------------------------------------------------------------------- /test/lkm_samples/modules.config.fragment: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/lkm_samples/modules.config.fragment -------------------------------------------------------------------------------- /test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fkie-cad/cwe_checker/HEAD/test/src/lib.rs --------------------------------------------------------------------------------