Jakstab: A Static Analysis Platform for Binaries. / Kinder, Johannes; Veith, Helmut.
Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008). Springer, 2008. p. 423-427.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 43.2 KB, PDF document
Original language | English |
---|---|
Title of host publication | Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008) |
Publisher | Springer |
Pages | 423-427 |
DOIs | |
Publication status | Published - 2008 |
ID: 17558168