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