Downloads

Name Date Author Size DL's Rating Get
Zozzle: Low-overhead Mostly Static JavaScript Malware Detection 19 Feb 2011 : 14:05 Charles Curtsinger + Benjamin Livshits and Benjamin Zorn + Christian Seifert 2.21MB 241
0/5 : Not rated
Widening for Automata 19 Sep 2010 : 05:33 Vijay D’silva 662.16kB 207
0/5 : Not rated
Which Pointer Analysis Should I Use? 08 May 2010 : 02:41 Michael Hind + Anthony Pioli 104.61kB 296
0/5 : Not rated
Weakly Relational Numerical Abstract Domains 19 Feb 2011 : 14:08 Antoine Mine 1.62MB 179
0/5 : Not rated
Visualizing Similarities in Execution Traces 19 Sep 2010 : 05:34 Bas Cornelissen + Leon Moonen 187.19kB 249
0/5 : Not rated
Verify Reference Monitors without Worrying about Data Structure Size 04 Jun 2010 : 15:14 Jason Franklin + Sagar Chaki + Anupam Datta 226.04kB 245
0/5 : Not rated
Using Processor Features for Binary Analysis 25 Dec 2012 : 13:20 Ralf Hund, Carsten Willems, Dennis Felsch, Andreas Fobian, Thorsten Holz 884.68kB 688
0/5 : Not rated
Towards Static Analysis of Virtualization-Obfuscated Binaries 28 Oct 2012 : 08:13 Johannes Kinder 270.41kB 312
0/5 : Not rated
Towards Scalable Modular Checking of User-Defined Properties 28 Jul 2010 : 13:18 [ Various Authors ] 177.79kB 217
0/5 : Not rated
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation 06 Jun 2011 : 08:29 Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger and Stefan Kowalewski 1.35MB 188
0/5 : Not rated
Symbolic Object Code Analysis 19 Sep 2010 : 05:39 Jan Tobias Mühlberg + Gerald Lüttgen 511.82kB 229
0/5 : Not rated
Symbolic Implementation of the Best Transformer 29 May 2011 : 12:34 Thomas Reps, Mooly Sagiv, Greta Yorsh 163.32kB 187
0/5 : Not rated
Symbolic Execution For Verification 29 May 2011 : 12:37 Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa 127.72kB 225
0/5 : Not rated
Static Program Analysis via 3-Valued Logic 04 Jun 2010 : 15:16 Thomas Reps + Mooly Sagiv + Reinhard Wilhelm 135.84kB 276
0/5 : Not rated
Static Disassembly and Code Analysis 06 Jun 2011 : 08:31 Giovanni Vigna 396.81kB 345
0/5 : Not rated
Static Detection of C++ vtable Escape Vulnerabilities in Binary Code 18 Jun 2012 : 13:45 David Dewey, Jonathon Giffin 232.01kB 255
0/5 : Not rated
Static Binary Analysis and Transformation for Sandboxing Untrusted Plugins 06 Jun 2011 : 08:33 Prateek Saxena 404.36kB 217
0/5 : Not rated
Static Analysis of x86 Executables 27 Mar 2011 : 09:27 Johannes Kinder 814.63kB 283
0/5 : Not rated
Static Analysis of x86 Assembly 18 Jun 2012 : 13:47 Vincent Laporte 281.32kB 350
0/5 : Not rated
Static Analysis of Memory Manipulations by Abstract Interpretation 19 Feb 2011 : 14:12 [ Various Authors ] 2.10MB 198
0/5 : Not rated
Static Analysis of Embedded Multithreaded Programs 29 May 2011 : 12:39 Jean-Loup Carré 1.07MB 263
0/5 : Not rated
Static Analysis of Binary Executables Using Structural SVMs 07 Apr 2011 : 13:48 Nikos Karampatziakis 164.76kB 230
0/5 : Not rated
Static Analysis of Binary Executables 07 Apr 2011 : 13:50 Steve Hanov 244.21kB 237
0/5 : Not rated
Static Analysis of Binary Code to Isolate Malicious Behaviors 07 Apr 2011 : 13:51 J. Bergeron, M. Debbabi, M. M. Erhioui and B. Ktari 49.77kB 227
0/5 : Not rated
State Joining and Splitting for the Symbolic Execution of Binaries 19 Feb 2011 : 14:13 Trevor Hansen + Peter Schachte + Harald Søndergaard 162.97kB 218
0/5 : Not rated
Stack Analysis of x86 Executables 01 Jan 2014 : 08:43 Cullen Linn, Saumya Debray, Gregory Andrews, Benjamin Schwarz 98.64kB 335
0/5 : Not rated
Source Code and Binary Analysis of Software Defects 06 Jun 2011 : 08:35 Daniel Quinlan, Thomas Panas 347.04kB 255
0/5 : Not rated
Side-Effect Analysis of Assembly Code 04 Dec 2011 : 11:34 Andrea Flexeder, Michael Petter, Helmut Seidl 321.83kB 205
0/5 : Not rated
SAT-Based Abstraction Refinement for Programmable Logic Controllers 04 Dec 2011 : 11:37 Sebastian Biallas, Jörg Brauer, Stefan Kowalewski 184.92kB 198
0/5 : Not rated
Refinement-based CFG Reconstruction from Unstructured Programs 06 Jun 2011 : 08:40 S´ebastien Bardin, Philippe Herrmann, and Franck V´edrine 214.51kB 193
0/5 : Not rated
Return to Category List 7748 download(s) from 30 files