TU Darmstadt / ULB / TUbiblio

Jakstab: A Static Analysis Platform for Binaries

Kinder, Johannes and Veith, Helmut :
Jakstab: A Static Analysis Platform for Binaries.
In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008) , 5123 Springer
[Conference or Workshop Item] , (2008)

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Kinder, Johannes and Veith, Helmut
Title: Jakstab: A Static Analysis Platform for Binaries
Language: German
Journal or Publication Title: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Title of Book: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008)
Volume: 5123
Publisher: Springer
Uncontrolled Keywords: Secure Services
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 30 Dec 2016 20:23
Identification Number: TUD-CS-2008-1121
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item