Symbolic Exploit Assistant (SEA) is a tool to help to create exploits of binary programs

pkgs	a day ago	added initial files for (early) release [neuromancer]
tests	a day ago	added initial files for (early) release [neuromancer]
.gitignore	a month ago	Initial commit [neuromancer]
Allocation.py	a day ago	added license [neuromancer]
Callstack.py	a day ago	added license [neuromancer]
Common.py	a day ago	added license [neuromancer]
Condition.py	a day ago	added license [neuromancer]
ExploitConditions.py	a day ago	added license [neuromancer]
Function.py	a day ago	added license [neuromancer]
Inputs.py	a day ago	added license [neuromancer]
Instruction.py	a day ago	added license [neuromancer]
JumpConditions.py	a day ago	added license [neuromancer]
MemVars.py	a day ago	added license [neuromancer]
Memory.py	a day ago	added license [neuromancer]
Operand.py	a day ago	added license [neuromancer]
Parameters.py	a day ago	added license [neuromancer]
PathConditions.py	a day ago	added license [neuromancer]
Prelude.py	a day ago	added license [neuromancer]
README.md	a day ago	Update README.md [neuromancer]
Reil.py	a day ago	added license [neuromancer]
SEA.py	a day ago	added license [neuromancer]
SMT.py	a day ago	added license [neuromancer]
SSA.py	a day ago	added license [neuromancer]
Trace.py	a day ago	added license [neuromancer]
Typing.py	a day ago	added license [neuromancer]
boostrap.sh	a day ago	added initial files for (early) release [neuromancer]

pkgs

a day ago

added initial files for (early) release [neuromancer]

tests

a day ago

added initial files for (early) release [neuromancer]

.gitignore

a month ago

Initial commit [neuromancer]

Allocation.py

a day ago

added license [neuromancer]

Callstack.py

a day ago

added license [neuromancer]

Common.py

a day ago

added license [neuromancer]

Condition.py

a day ago

added license [neuromancer]

ExploitConditions.py

a day ago

added license [neuromancer]

Function.py

a day ago

added license [neuromancer]

Inputs.py

a day ago

added license [neuromancer]

Instruction.py

a day ago

added license [neuromancer]

JumpConditions.py

a day ago

added license [neuromancer]

MemVars.py

a day ago

added license [neuromancer]

Memory.py

a day ago

added license [neuromancer]

Operand.py

a day ago

added license [neuromancer]

Parameters.py

a day ago

added license [neuromancer]

PathConditions.py

a day ago

added license [neuromancer]

Prelude.py

a day ago

added license [neuromancer]

README.md

a day ago

Update README.md [neuromancer]

Reil.py

a day ago

added license [neuromancer]

SEA.py

a day ago

added license [neuromancer]

SMT.py

a day ago

added license [neuromancer]

SSA.py

a day ago

added license [neuromancer]

Trace.py

a day ago

added license [neuromancer]

Typing.py

a day ago

added license [neuromancer]

boostrap.sh

a day ago

added initial files for (early) release [neuromancer]

Description

"Symbolic Exploit Assistant" ( SEA ) is a small tool designed to assist the discovery and construction of exploits in binary programs. SEA is open source (GPL3) and is developed in colaboration between the research institutes CIFASIS (Rosario, Argentina) and VERIMAG(Grenoble, France) in an effort to improve security in binary programs.

Quick Start

To get started, you should have Python 2.7. To prepare the tool, the official Z3 Python binding (z3py) should be installed. Fortunately, just executing boostrap.sh will download and compile z3py.

After it finishes compiling, SEA is ready to be used. You can test SEA analyzing the converted code of the first example of Gera's Insecure Programming:

./SEA.py tests/reil/stack1_gcc.reil

The complete analysis of this example can be found here.

There is always a catch..

NOTE: Right now, SEA uses REIL code as input, to analyze a path. Unfortunately, REIL can be only generated from an executable file using BinNavi which runs in the top of IDA-Pro (two proprietary and expensive programs) Hopefully, this will change soon when SEA supports open frameworks for binary analysis like Bincoa or BAP.

Documentation, examples and more can be found in the wiki. Collaboration and feedback is greatly appreciated!.

Source link: https://github.com/neuromancer/sea

Symbolic Exploit Assistant (SEA) is a tool to help to create exploits of binary programs

Description

Quick Start

There is always a catch..

Trending Articles

Practice Sheet of Right form of verbs for HSC Students

Download: FK ft Shenky – Nakuyewa ”Prod by: Shenky”

How to win at Markstrat (Markstrat Tips and Tricks) – Vodites

Ominde Commission Report and Recommendations – Ominde Report of 1964

Bureau of Internal Revenue: Regional Offices (Directory)

GO 53 on Enhancement of Ex-gratia upto 5 Lakhs Toddy Tappers in Telangana

Cakewalk CA-2A Leveling Amplifier v2.0.1.97 WiN, v2.0.1.96 OSX Incl Keygen

Mp3 Download: Mdu - Kunjenjenjena

How the kill the job , when DTP request running for long hours.

Microsoft Intune から展開しているアプリのアップデートについて

18-year-old girl was beaten for half an hour by two Northampton men in 'an...

Car crash in Dunton Bassett leaves driver in critical condition

Macky 2, Two Others In Road Accident

Application log 00000000000000089514: Could not convert queue DLVST90CLNT

Detroit mafia: D’Anna Brothers agree to plea deal

Delivery block field greyed out using VA02

Muloraki Au

【個人撮影】スマホのプライベート映像♪「中に出さないで///」カラオケ屋での生ハメ撮りが流出ｗ【リベンジポルノ】＠PornHub

BREAKING NEWS: Diamond Platnumz Is Reported Dead After Ghastly Car Accident

FIAT 500 B0111 B0112