Symbolic execution
Named by 4 kept items in this workspace.
The items that name it 4
Via radius2, based on boolector and esil
Used by Aether (Halmos), Olympix, Firepan, SolidityGuard toolchain
explicitly contrasted with Argo, which is not a symbolic executor
In every workspace you can read 5
All techniques in this workspace.