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