shell-storm 今日热榜



最新

1.	Symbolic Deobfuscation: From Virtualized Code Back to the Original	
2.	Deobfuscation of VM based software protection	
3.	How Triton can help to reverse virtual machine based software protections	
4.	Playing with the Tigress binary protection. Automatic deobfuscation using symbolic execution and LLVM.	
5.	What kind of semantics information Triton can provide?	
6.	Dynamic Binary Analysis and Obfuscated Codes	
7.	Triton (A Dynamic Symbolic Execution engine) version 0.2 is out!	
8.	Blog post - Code coverage using dynamic symbolic execution	
9.	Multiple Kernel vulnerabilities in the Samsung S4's (GT-I9500) video driver	
10.	Triton: A Concolic Execution Framework	
11.	Slides of my talk at @St'Hack 2015 - Dynamic Behavior Analysis Using Binary Instrumentation	
12.	Slides of my talk at @SecuDayLille1 about Dynamic Symbolic Execution	
13.	PinTool repository - PoC Pintools for program analysis	
14.	CTF repository - 9447ctf-2014's challenges are available	
15.	Course lecture - An introduction to the Return Oriented Programming	
16.	Notepad - Tests/PoC on ROP chain generation via backtracking and state machine. Using SMT/SAT is not so trivial...	
17.	Pin tool - Detect a format string vulnerability without pattern matching	
18.	SCAF - Source Code Analysis Framework based on Clang - Pre-alpha preview	
19.	Stack and heap overflow detection at runtime via behavior analysis and PIN	
20.	Binary analysis: Concolic execution with Pin and z3	
21.	In-Memory fuzzing with Pin	
22.	Taint analysis and pattern matching with Pin	
23.	Slide LSE Summer Week 2013 - Software testing and concolic execution	
24.	Concolic execution - Taint analysis with Valgrind and constraints path solver with Z3	
25.	Trace and debug the Linux kernel functions	
26.	A binary analysis, count me if you can	
27.	ROPgadget - Gadgets finder and auto-roper - New version - 4.0.1	
28.	Linux runtime unpacker and binary signature	
29.	Physical page frame allocation with bitmap algorithms	
30.	Linux process execution and the useless ELF header fields	
31.	Simple hook detection Linux module	

更新于 2022-10-20

近期历史最近 100 条记录

2021-02-28	Symbolic Deobfuscation: From Virtualized Code Back to the Original		
2021-02-28	Deobfuscation of VM based software protection		
2021-02-28	How Triton can help to reverse virtual machine based software protections		
2021-02-28	JonathanSalwan / Tigress_protection	685	
2021-02-28	What kind of semantics information Triton can provide?		
2021-02-28	Dynamic Binary Analysis and Obfuscated Codes		
2021-02-28	Triton (A Dynamic Symbolic Execution engine) version 0.2 is out!		
2021-02-28	Blog post - Code coverage using dynamic symbolic execution		
2021-02-28	Multiple Kernel vulnerabilities in the Samsung S4's (GT-I9500) video driver		
2021-02-28	Triton: A Concolic Execution Framework		
2021-02-28	Slides of my talk at @St'Hack 2015 - Dynamic Behavior Analysis Using Binary Instrumentation		
2021-02-28	Slides of my talk at @SecuDayLille1 about Dynamic Symbolic Execution		
2021-02-28	PinTool repository - PoC Pintools for program analysis		
2021-02-28	CTF repository - 9447ctf-2014's challenges are available		
2021-02-28	Course lecture - An introduction to the Return Oriented Programming		
2021-02-28	Notepad - Tests/PoC on ROP chain generation via backtracking and state machine. Using SMT/SAT is not so trivial...		
2021-02-28	Pin tool - Detect a format string vulnerability without pattern matching		
2021-02-28	Stack and heap overflow detection at runtime via behavior analysis and PIN		
2021-02-28	Binary analysis: Concolic execution with Pin and z3		
2021-02-28	In-Memory fuzzing with Pin		
2021-02-28	Taint analysis and pattern matching with Pin		
2021-02-28	Slide LSE Summer Week 2013 - Software testing and concolic execution		
2021-02-28	Concolic execution - Taint analysis with Valgrind and constraints path solver with Z3		
2021-02-28	Trace and debug the Linux kernel functions		
2021-02-28	A binary analysis, count me if you can		
2021-02-28	ROPgadget - Gadgets finder and auto-roper - New version - 4.0.1		
2021-02-28	Linux runtime unpacker and binary signature		
2021-02-28	Physical page frame allocation with bitmap algorithms		
2021-02-28	Linux process execution and the useless ELF header fields		
2021-02-28	Simple hook detection Linux module		
2021-02-28	SCAF - Source Code Analysis Framework based on Clang - Pre-alpha preview	Source Code Analysis ‧ Jonathan Salwan	