47 citations · 51 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…