Decompiler - PDFSEARCH.IO - Document Search Engine

Decompiler
Results: 68

#	Item
1	Toy decompiler for x86-64 written in Python Dennis Yurichev April 2016 – December 2016 Contents 1 Add to Reading List Source URL: yurichev.com - Date: 2016-12-03 12:03:44
2	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
3	LNCSBAP: A Binary Analysis Platform Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation X86 architecture Assembly languages Decompiler X86 assembly language Compiler construction Low-level programming language X86 Disassembler IMP Compiler Predicate transformer semantics
4	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
5	Master Thesis in Software Engineering Thesis no: MSE-2002:17 JuneDesigning an object-oriented decompiler Add to Reading List Source URL: desquirr.sourceforge.net Language: English - Date: 2002-06-13 15:08:25
6	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
7	JEB Der interaktive Android-Decompiler JEB ist ein mächtiger Decompiler für Android-Applikationen, der auf Security Professionals zugeschnitten ist. Seine Entwicklung ist unmittelbar auf das Reverse Engineering und Aud Add to Reading List Source URL: www.pnfsoftware.com Language: German - Date: 2015-02-11 20:32:11
8	PDF Document Add to Reading List Source URL: jburket.com Language: English - Date: 2015-04-08 00:04:54 X86 architecture X86 instructions Subroutines Recursion Machine code Low-level programming language Assembly language Decompiler INT Calling convention NOP X86-64
9	JEB by PNF Software The Interactive Android Decompiler JEB is the most powerful Android app decompiler, designed for security professionals. Cut your reverse engineering time and leverage the API for your automation need Add to Reading List Source URL: www.pnfsoftware.com Language: English - Date: 2015-02-11 20:31:24
10	Tracelet-Based Code Search in Executables Yaniv David Eran Yahav Technion, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-03-29 02:02:37 Computing X86 assembly language MOV Low-level programming language X86 Algorithm High Level Assembly Decompiler Computer architecture X86 architecture Assembly languages