Shared-memory multi-threading and the actor model both share the notion of processes
featuring communication, respectively by modifying shared state and by sending messages …

Abstract Properties such as the absence of errors or bounds on mailbox sizes are hard to
deduce statically for actor-based programs. This is because actor-based programs exhibit …

Abstract garbage collection is the application of garbage collection to an abstract interpreter.
Existing work has shown that abstract garbage collection can improve both the interpreter's …

A modular static analysis decomposes a program's analysis into analyses of its parts, or
components. An intercomponent analysis instructs an intra-component analysis to analyse …

SQLIA 漏洞破坏Web 后台数据库的完整性, 一直是Web 应用安全的主要威胁.
提出一种检测和验证Java Web 程序的SQLIA 漏洞的解决方案, 将静态分析与动态验证相结合 …

Event-driven programs consist of event listeners that can be registered dynamically with
different types of events. The order in which these events are triggered is, however …

SQLIA vulnerabilities undermine the integrity of the Web background database, and have
always been a major threat to Web application security. This paper proposes a solution to …

Static analyses are automated tools that yield information about computer programs without
running them. Static analyses are used in modern integrated development environments …

Modular program analysis involves performing separate analysis of components of a
program, and combining the results to achieve an analysis of the entire program as a whole …

Trace-based just-in-time compilers use program analyses to optimise execution traces.
These analyses are limited in scope to the parts of the program that have been traced. In this …