Vous êtes ici

SoSySec seminar - David Bühler (CEA) - september 22 10:30 - 12:00 - Room Petri/Turing

Structuring an Abstract Interpreter through State and Value AbstractionsThe new abstract interpreter of Frama-C, EVA, enjoys a modular and extensible architecture, where new analysis domains may be plugged-in. These domains can interact through di...

vignette: