Fish 78799acd95 CFGModel: Spilling CFG nodes to RtDb. (#6092) ...

* Preliminary implementation of a spilling CFG graph.

* Fix some test cases.

* Fix another test case.

* Fixes.

* Lint code.

* Implement InEdgeView and OutEdgeView.

* Implement InDegreeView and OutDegreeView.

* Fixes.

* Use (Node.addr, Node.size) as key.

* Fix test cases.

* More fixes.

* Fix CFGENode support.

* Fix the remaining issues.

* Get rid of SpillingCFGGraph.reverse().

* Some refactoring.

* Oops

* Fix perf issue.

* Fix set size change error during key iteration.

* Fix db_batch_size assignment. Fix some test cases.

* SpillingCFGNodeDict.__setstate__: Initialize self._all_keys.

* Getting rid of the nodes dictionary.

* Fix logic in cfg_emulated.py

* Multiple fixes.

* Type annotation fix.

* Fix missing edges after merging CFGNodes.

* Fix more logic.

* Add Soot CFGNodes to the CFG model.

* Lint and type check.

* Add USE_SPILLING_CFGNODE_DICT and CFGNode.dirty.

* Oops

* Lint code.

* No more pickling of CFGNodes.

* Fix no_ret being None.

* Lint code.

* Some refactor; Destroy the fallback mechanism.

* Fix node dirty bug after deserialization.

2026-02-24 09:40:02 -07:00

..

__init__.py

tests: Structure test files into directories

2023-09-08 16:05:33 -07:00

test_db.py

CFGModel: Spilling CFG nodes to RtDb. (#6092)

2026-02-24 09:40:02 -07:00

test_pickle.py

[pre-commit.ci] pre-commit autoupdate (#6025)

2026-01-19 13:37:06 -07:00

test_serialization.py

CFGModel: Spilling CFG nodes to RtDb. (#6092)

2026-02-24 09:40:02 -07:00

test_vault.py

Use ruff TID252 to prevent reletive imports from parents (#4916)

2024-10-01 09:06:33 -07:00