Soot

swMATH9122MaRDI QIDQ21115FDOQ21115

Author name not available (Why is that?)

Cited In (28)

• 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
• Severity Levels of Inconsistent Code
• Complexity verification using guided theorem enumeration
• Sawja: Static Analysis Workshop for Java
• ADiJaC -- Automatic Differentiation of Java Classfiles
• Synthesis of interface specifications for Java classes
• Automatic Verification of Determinism for Structured Parallel Programs
• Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
• Property Directed Reachability for Proving Absence of Concurrent Modification Errors
• Experimental evaluation of numerical domains for inferring ranges
• Program transformations for light-weight CPU accounting and control in the Java virtual machine
• Compiler Construction
• Compiler Construction
• Finding suitable variability abstractions for lifted analysis
• Component-based synthesis for complex APIs
• Dataflow Analysis for Datarace-Free Programs
• HTML Validation of Context-Free Languages
• Faster algorithms for quantitative verification in bounded treewidth graphs
• The role of linearity in sharing analysis
• Enforcing Programming Guidelines with Region Types and Effects
• Equality Saturation: A New Approach to Optimization
• Automatic synthesis of data-flow analyzers
• Partial evaluation of string obfuscations for Java malware detection
• Aiding exploratory testing with pruned GUI models
• On collecting semantics for program analysis

This page was built for software: Soot