PathExplorer

KO | EN

gitlite — search

#javascript #python #ai #typescript #llm #golang #rust #deep-learning #docker #macos #java #vue #pytorch #ios

(★ 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