PathExplorer

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

다운로드 버튼(우측 끝) -->

★ 11

A high-order code abstraction

PathExplorer 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

#### PathExplorer: extracts high-order properties from Binary Codes

##### Obsolete information (update later): the current version is UNSTABLE, but the following are less unstable :

* Dynamic tainting: constructs 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.
* Multiple rollbacks detection: handles direction fields in the input.
* Execution with jumps: a new algorithm for checkpoint detection to shorten re-execution paths.
* LTS approximation for the execution tree.

##### In development:

* IR lifting with BAP.

##### Known bugs:

* Does not work for multiple threads programs yet.
* (Not a bug but) because of heavily using several C++11 features (smart pointer, lambda, type deduction, etc) the code cannot be compiled in old C++ compilers (e.g. VS(i) where i < 10).

PathExplorer

PathExplorer 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

PathExplorer

PathExplorer 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README