Meta-Development
Users
- Find the bug
- Predict the output
- Programming exercise
Case Studies
- Hard to find bugs
Selected Projects
- Runtime analysis
- Test/Benchmark
Use static analysis to look for repeated patterns both at the language and bytecode level.
Use static analysis to look for repeated patterns both at the language and bytecode level.