forked from s3team/loop
License
Unknown, MIT licenses found
Licenses found
Unknown
LICENSE.GPL
MIT
LICENSE.MIT
bryonglodencissp/loop
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
LOOP is a logic oriented opaque predicate checker. It is able to detect the following opaque predicates in binary code: 1. Invariant opaque predicate 2. Contextual opaque predicate 3. Dynamic opaque predicate LOOP is developed based on BAP. BAP: The Binary Analysis Platform. For more information see the project webpage at http://bap.ece.cmu.edu BAP is released under MIT license and the GPL license; see the appropriate LICENSE.{MIT,GPL}. How to use: 1. Use Pin to generate a execution trace. It also needs a lib called gentrace. The command is like: LOOPDIR/pin/pin -t LOOPDIR/pintraces/obj-ia32/gentrace.so -taint_args -- yourprogram yourargs 2. Convert trace into concrete trace: LOOPDIR/utils/iltrans -trace tracename -trace-concrete -pp-ast tracename.con.il 3. Preprocess the trace: LOOPDIR/utils/pre_process.pl tracename.con.il 4. Symbolic execute the trace: LOOPDIR/utils/iltrans -il tracename.con.il -il-formula tracename.stp 5. Solve the formula with STP. You will need a STP solver installed. stp tracename.stp
About
No description, website, or topics provided.
Resources
License
Unknown, MIT licenses found
Licenses found
Unknown
LICENSE.GPL
MIT
LICENSE.MIT
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C++ 40.6%
- OCaml 34.6%
- Java 7.8%
- C 6.6%
- Python 4.6%
- Protocol Buffer 2.5%
- Other 3.3%