Labels

Control flow graph construction and analysis

Bytecode decoding and instruction parsing

Fuzzer infrastructure: program generation, oracle, campaign runner

Helper function prototypes and argument validation

Instruction set architecture and instruction representation

Oracle design and integration: spec-based oracle, SMT verification of operators

Pointer types, arithmetic, spill/fill, and tnum

Register state tracking and abstract register values

Stack memory model, bounds, and read/write tracking

Verifier state, execution simulation, and state management

Test corpus, test infrastructure, and coverage

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

Further information is requested

Documentation improvements or additions

New feature or implementation

Code refactoring or restructuring

Test additions or improvements

This will not be worked on