Looking for:
websites_list_about_hacking(+).txt · GitHub.Awesome Viewer - For Awesome Lists |
websites_list_about_hacking(+).txt · GitHub
Work fast with our official CLI. Learn more. If nothing happens, download GitHub Desktop and try again. If nothing happens, download Xcode and try again. There was a problem preparing your codespace, please try again. Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses on executables and recovering reliable control flow graphs.
It is designed to be adaptable to multiple hardware platforms using customized instruction decoding and processor specifications. Jakstab translates machine code to a low level intermediate language on the fly as it performs data flow analysis on the growing control flow graph.
Data flow information is used to resolve branch targets and discover new code locations. Other analyses can either be implemented in Jakstab to run together with the main control flow reconstruction to improve precision of the disassembly, or they can work on the resulting preprocessed control flow graph. Jakstab is invoked via the command line, it comes with both a Windows and a Unix shell script for setting the correct classpath.
The package contains a set of examples for unit testing, you can try it out on those by running. It is still a research prototype, so all interfaces are likely to change with new versions without further notice. Documentation is still sparse, but will hopefully improve over time. The following publications, sorted chronologically, describe specific aspects of Jakstab, or applications and extensions of it.
The CAV tool paper describes an early implementation of Jakstab, which was based on iterative constant propagation and branch resolution:. Our VMCAI paper introduces a generic framework for disassembly and control flow reconstruction guided by data flow analysis and defines the theoretical background for Jakstab.
The framework is not fixed in its choice of domain, but allows to combine control flow reconstruction with any data flow analysis that provides abstract evaluation of expressions:.
In FMCAD , we give an overview on the Jakstab architecture and describe Bounded Address Tracking, a practical abstract domain used for control flow reconstruction and verification of API usage specifications on device driver binaries:. In our paper at VMCAI , we give a reformulation of control flow reconstruction using parameterized semantics, and show how it can be extended to accomodate under-approximations derived from concrete execution traces.
A prototype implementation shows that under-approximations allow to reconstruct useful CFGs when the over-approximation would have to conservatively over-approximate indirect jump targets. The WCRE paper proposes a method for using Jakstab to analyze binaries that have been protected using virtualization-obfuscation.
Skip to content. The Jakstab static analysis platform for binaries GPL Branches Tags. Could not load branches. Could not load tags. Go back. Launching Xcode If nothing happens, download Xcode and try again. Launching Visual Studio Code Your codespace will open once ready. Latest commit. Git stats commits. Failed to load latest commit information.
Added simplified default implementation for CPAs without precision re…. May 15, Apr 21, Fixed lessOrEqual for strided interval elements fixes Dec 10, Bumped copyright year. Added some basic stubs for VC runtime.
Jul 15, Fix broken test. Ignore output files. Mar 31, Initial import from SVN head. Jul 12, May 13, Allow invocation from different directories. Sep 11, Disable assertions for VPC reconstruction. Nov 15, View code. Jakstab Overview Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses on executables and recovering reliable control flow graphs.
PDF Running Jakstab Jakstab is invoked via the command line, it comes with both a Windows and a Unix shell script for setting the correct classpath.
The CAV tool paper describes an early implementation of Jakstab, which was based on iterative constant propagation and branch resolution: Johannes Kinder, Helmut Veith.
The framework is not fixed in its choice of domain, but allows to combine control flow reconstruction with any data flow analysis that provides abstract evaluation of expressions: Johannes Kinder, Helmut Veith, Florian Zuleger. Johannes Kinder, Dmitry Kravchenko. Alternating Control Flow Reconstruction.
Johannes Kinder. About The Jakstab static analysis platform for binaries Resources Readme. Releases No releases published. Packages 0 No packages published. You signed in with another tab or window.
Reload to refresh your session. You signed out in another tab or window.
No comments:
Post a Comment