Base Idea
4 items
ArchUnit
Static dependency analysis over imported bytecode: what ArchUnit sees, and what it cannot.
WALA
Inter-procedural call-graph analysis: reachability, sinks and false-positive filtering.
Architecture Tests
Static detection of forbidden operations before the code runs.