1 paper
Sandrine Blazy, Vincent Laporte, André Maroneze +1
Static analyzers based on abstract interpretation are complex pieces of software implementing delicate algorithms. Even if static analysis techniques are well understood, their imp…