14 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 14 cited
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…
cs.PL2010★ 1 cited
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…