47 citations · 75 across the 5 of their papers we have counts for
5 papers
Sawja: Static Analysis Workshop for Java
Laurent Hubert, Nicolas Barré, Frédéric Besson +5
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic langu…
Soundly Handling Static Fields: Issues, Semantics and Analysis
Laurent Hubert, David Pichardie
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class initi…
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert +1
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat…
A Non-Null Annotation Inferencer for Java Bytecode
Laurent Hubert
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completene…
Enforcing Secure Object Initialization in Java
Laurent Hubert, Thomas Jensen, Vincent Monfort +1
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin…