-
1by Khoury, Raphaël“... particularly on combining static analyses and dynamic monitoring in order to produce a more powerful security...”
Published 2005
Get full text
Dissertation -
2by Simo, Jean Claude“.... In the second part, we examine in detail some recent static and dynamic (hybrid) flow-sensitive analysis models...”
Published 2015
Get full text
Dissertation -
3by Godonou, Théophane Gloria“... core imperative language. Our approach aims at reducing false positives generated by static analysis...”
Published 2014
Get full text
Dissertation