The Great Pcode Extractor Refactoring#472

Merged

vobst merged 88 commits intofkie-cad:masterfrom vobst:pcode_extractor_refactoring

Dec 10, 2024

+13,543-9,642

Commits on Oct 22, 2024

pcode_extractor: replace Pcode Extractor plugin

m-rtz
authored and
Valentin Obst
committed
git: update gitignore
Valentin Obst
committed
lib/analysis/pi: reflow doc comments
Valentin Obst
committed
lib/abstract_domain: fix code formatting
Valentin Obst
committed
Update Cargo.lock
Valentin Obst
committed
install: improve comments and output
Valentin Obst
committed
docker: update Ghidra to 11.0.1
Valentin Obst
committed
docker: build in debug mode
Valentin Obst
committed
docker: update to Ghidra 11.2 and Rust 1.82
Valentin Obst
committed
Update Rust to 1.81
Valentin Obst
committed
Update Rust to 1.82
Valentin Obst
committed
lib/analysis/fwd: reflow doc comment
Valentin Obst
committed
lib/abstract_domain: add CheapToClone marker trait
Valentin Obst
committed
lib/ir/expr: constant fold logical shifts
Valentin Obst
committed
lib/ir/jmp: stop using Tid::new
Valentin Obst
committed
lib/ir/blk: add Blk::new
Valentin Obst
committed
lib/ir/blk: add methods for def/jump iteration
Valentin Obst
committed
lib/ir/blk: add clone_with_tid_suffix
Valentin Obst
committed
lib/ir/blk: add Blk::get_call_targets
Valentin Obst
committed
lib/ir/blk: add Blk::get_sink_type
Valentin Obst
committed
lib/ir/blk: add methods for artificial blocks
Valentin Obst
committed
lib/ir/blk: refactor artificial return target block
Valentin Obst
committed
lib/ir/sub: add Sub::new
Valentin Obst
committed
lib/ir/sub: add field non_returning
Valentin Obst
committed
lib/ir/sub: add methods for block iteration
Valentin Obst
committed
lib/ir/program: add methods for block iteration
Valentin Obst
committed
lib/ir/program: add methods for function iteration
Valentin Obst
committed
lib/ir/program: add methods for jump iteration
Valentin Obst
committed
lib/ir/program: add Program::debug_assert_invariants
Valentin Obst
committed
lib/ir/program: remove check for existence of entry points
Valentin Obst
committed
lib/ir/program: replace SUB with FN in Display impl
Valentin Obst
committed
lib/pcode: impl Display for ExpressionType
Valentin Obst
committed
lib/pcode: impl Display for JmpType
Valentin Obst
committed
lib/ir/term: changes for Pcode Extractor refactoring
Valentin Obst
committed
lib/ir/term: add Deref[Mut] impl
Valentin Obst
committed
lib/ir/term: add new_external_function
Valentin Obst
committed
lib/ir/term: add Tid::new_program
Valentin Obst
committed
lib/ir/variable: add methods for Subregister Substitution
Valentin Obst
committed
lib/ir: changes to artificial sink methods
Valentin Obst
committed

Commits on Oct 30, 2024

lib/ghidra_pcode: introduce module for pcode-to-ir translation
Valentin Obst
committed
lib/utils/debug: add settings for translation step
Valentin Obst
committed
lib/pcode: remove module
Valentin Obst
committed
lib/ir/project: remove old inlining pass
Valentin Obst
committed
lib/ir/project: remove old jump targets pass
Valentin Obst
committed
lib/ir/project: remove old dead_variable_elimination, expression_propagation, stack_alignment_substitution and propagate_control_flow passes.
Valentin Obst
committed
lib/ir/project: refactor IR passes
Valentin Obst
committed
lib/analysis/graph: accept Program instead of Term<Program>
Valentin Obst
committed
lib/analysis/graph: introduce fallible node-to-block mapping
Valentin Obst
committed
lib/analysis/graph: add intraprocedural CFG
Valentin Obst
committed
benches: adapt to new code stucture
Valentin Obst
committed
lib/utils/log: introduce WithLogs
Valentin Obst
committed
lib/ir/term: use Option<u64> for TID addresses
Valentin Obst
committed
lib/ir/term: accept leading "0x" in TidAddress constructor
Valentin Obst
committed
lib/ir/term: add is_block_without_suffix
Valentin Obst
committed
lib/ir/sub: change name of artifical sink function
Valentin Obst
committed
lib/ir/sub: add method to get all jumps
Valentin Obst
committed
lib/ir/sub: impl Display
Valentin Obst
committed
lib/ir/sub: add num_insn and code_range
Valentin Obst
committed
lib/ir: add methods to get referenced constants
Valentin Obst
committed
lib/ir/program: add method to get all variables
Valentin Obst
committed
Fix make codestyle-check
Valentin Obst
committed
lib/ir/proj/pass: reduce mem use of dead var elim
Valentin Obst
committed
lib/analysis/graph: extend intraCFG and add CG
Valentin Obst
committed
lib/ir/jmp: add methods to check for calls
Valentin Obst
committed
lib/ir/blk: make get_call_targets return references
Valentin Obst
committed
lib/utils/debug: add switches to print cfg and cg compact json
Valentin Obst
committed
lib/ir/blk: add num_insn method
Valentin Obst
committed
caller: add cfg-stats flag
Valentin Obst
committed
Run cargo fmt
Valentin Obst
committed
lib: fix codestyle
Valentin Obst
committed
lib: fix tests
Valentin Obst
committed
test: add docker feature
Valentin Obst
committed
test: add acceptance test for riscv64
Valentin Obst
committed
test: fix acceptance tests
Valentin Obst
committed
lib/analysis/graph: fix typo
Valentin Obst
committed
lib/analysis/graph/cg: add is_artificial to CgNode
Valentin Obst
committed
lib/analysis: improve documentation
Valentin Obst
committed
lib/utils/log: add WithLogs::move_logs_to
Valentin Obst
committed
lib/utils/log: introduce DeduplicateCweWarnings trait
Valentin Obst
committed
lib/checkers: pass debug::Settings to checkers
Valentin Obst
committed
lib/checkers: introduce cwe_module macro
Valentin Obst
committed
lib/checkers/cwe_243: use new APIs
Valentin Obst
committed
lib/ir/blk: introduce IndirectCfTargets type
Valentin Obst
committed
lib/ir/passes: enforce recursion depth in inp. expr. prop.
Valentin Obst
committed
lib/ir/def: add recursion_depth
Valentin Obst
committed
lib/ir: improve documentation
Valentin Obst
committed
make: shorten target names
Valentin Obst
committed
CHANGES: PcodeExtractor Refactoring
Valentin Obst
committed