Soot
From MaRDI portal
Cited in
(92)- ADF95
- Apron
- MCGP
- Sawja
- Jakarta
- JAsCo
- TAMPR
- WALA
- AspectJ
- Aiding exploratory testing with pruned GUI models
- JavaScript
- CLIPS
- DaCapo
- TaskChecker
- Faster algorithms for quantitative verification in bounded treewidth graphs
- Interproc
- AspectS
- DECKARD
- Experimental evaluation of numerical domains for inferring ranges
- Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
- Automatic synthesis of data-flow analyzers
- On collecting semantics for program analysis
- SingleTrack
- CodeQuest
- Program transformations for light-weight CPU accounting and control in the Java virtual machine
- Finding suitable variability abstractions for lifted analysis
- Efficient data race detection for async-finish parallelism
- Java Grande
- Octagon
- Bixie
- Clara
- IKOS
- ALICe
- Relax NG
- SPLLIFT
- NAT2TEST
- PATRICIA
- Property Directed Reachability for Proving Absence of Concurrent Modification Errors
- Dataflow analysis for datarace-free programs
- HTML validation of context-free languages
- Equality saturation: a new approach to optimization
- Sparrow
- Jimple
- Sawja: static analysis workshop for Java
- JIST
- ADiJaC -- Automatic Differentiation of Java Classfiles
- PyYAML
- BOXES
- SPECjvm2008
- FlashRelate
- TypeScript
- CAMPY
- LeetCode
- SyPet
- halp
- CodeHint
- PARSEWeb
- XSnippet
- Denali
- JSketch
- Barista
- Severity levels of inconsistent code
- ASM
- Chianti
- FlashExtract
- PPG
- abc : An Extensible AspectJ Compiler
- OGOLEM
- JAutoDiff
- Deriva
- FlowDroid
- JSAI
- Flow
- Dava
- Sails
- Automatic verification of determinism for structured parallel programs
- The role of linearity in sharing analysis
- Enforcing Programming Guidelines with Region Types and Effects
- Partial evaluation of string obfuscations for Java malware detection
- XSugar
- Synthesis of interface specifications for Java classes
- Compiler Construction
- Compiler Construction
- XML graphs in program analysis
- SmartCheck
- PyCG
- GATEKEEPER
- Component-based synthesis for complex APIs
- Complexity verification using guided theorem enumeration
- TFA
- RPython
- TFA: an efficient and precise virtual method call resolution for Java
This page was built for software: Soot
