Public Git Hosting - PathExplorer.git/summary

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

description	none
repository URL	https://github.com/tathanhdinh/PathExplorer.git
owner	tathanhdinh@gmail.com
last change	Tue, 28 Jan 2014 01:11:12 +0000 (28 02:11 +0100)
last refresh	Fri, 26 Apr 2024 11:31:26 +0000 (26 13:31 +0200)
mirror URL	git://repo.or.cz/PathExplorer.git
	https://repo.or.cz/PathExplorer.git
	ssh://git@repo.or.cz/PathExplorer.git
bundle info	PathExplorer.git downloadable bundles
content tags	add:

README.md

PathExplorer: a Pintool for Binary Code Covering

The current version is UNSTABLE, but the following are less unstable:

Dynamic tainting: construct the dataflow graph based on the liveness analysis (using the outer interface of live variables).
Checkpoint detection: for each conditional branch there are several execution points which may affect to its decision.
Reverse execution: an application-layer reverse execution mechanism.

In development:

Smarter treatment for multiple rollbacks in case of direction fields in the input.
DFA approximation for CFG.
A new algorithm for checkpoint detection to shorten the re-execution trace.

Known bugs:

Does not work for multiple threads programs yet.
Re-execution is lost for large CFGs after too much rollbacks (lost detected in testing for a CFG with depth of 1000 instructions after nearly 150.000.000 rollbacks).

2014-01-28	Ta Thanh Dinh	Still cannot know why it does not workmaster	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-27	Ta Thanh Dinh	Note that REP instructions are also branches.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-27	Ta Thanh Dinh	instrumen WSA functions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-26	Ta Thanh Dinh	instrument socket functions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-26	Ta Thanh Dinh	instrument recv and recvfrom (what about WSA ??)	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-26	Ta Thanh Dinh	instrument winsock functions	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-25	Ta Thanh Dinh	Windows version	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-25	Ta Thanh Dinh	Find ideal checkpoints	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-21	Ta Thanh Dinh	Find ideal checkpoints	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-13	Ta Thanh Dinh	implement determine_jumping_bridges	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-13	Ta Thanh Dinh	bridges detection	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-13	Ta Thanh Dinh	using bridges (more flexible for fast_execution)	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-13	Ta Thanh Dinh	move_forward explanation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-13	Ta Thanh Dinh	move_forward explanation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-13	Ta Thanh Dinh	move_forward explanation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2014-01-12	Ta Thanh Dinh	maybe move_forward is a dual of move_backward	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

9 years ago	windows_version	log \| tree
10 years ago	linux_version	log \| tree
10 years ago	master	log \| tree
10 years ago	develop	log \| tree