User:Shiyj/Books/lawefawef


 * Frama-C
 * Data dependency
 * Program slicing