Soot

swMATH9122MaRDI QIDQ21115

No author found.

Related Items (28)

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

This page was built for software: Soot