Static program analyses and transformations for Java face many problems when analyzing
programs that use reflection or custom class loaders: How can a static analysis know which …

Test case prioritization is used in regression testing to schedule the execution order of test
cases so as to expose faults earlier in testing. Over the past few years, many test case …

Since call graphs are an essential starting point for all inter-procedural analyses, many tools
and frameworks have been developed to generate the call graph of a given program. The …

Libraries play a significant role in software development as they provide reusable
functionality, which helps expedite the development process. As libraries evolve, they …

Static analyses have problems modelling dynamic language features soundly while
retaining acceptable precision. The problem is well-understood in theory, but there is little …

Researchers have reported that static analysis tools rarely achieve a false-positive rate that
would make them attractive to developers. We overcome this problem by a technique that …

Call graphs are widely used; in particular for advanced control-and data-flow analyses. Even
though many call graph algorithms with different precision and scalability properties have …

This paper presents a static analysis of typestate-like temporal specifications of groups of
interacting objects, which are expressed using tracematches. Whereas typestate expresses …

This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS)
algorithm that make it applicable to a wider class of analysis problems. IFDS is a dynamic …

The popularity and wide adoption of JavaScript both at the client and server side makes its
code analysis more important than ever before. Most of the algorithms for vulnerability …