Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Should'a learn to manage pull request... #20

Closed
wants to merge 14 commits into from
Closed

Should'a learn to manage pull request... #20

wants to merge 14 commits into from

Commits on Feb 6, 2015

  1. Update the readme and fix the good version of Pin due to the commit 7… 

    …cc1142
    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    045c5c7 View commit details
    Browse the repository at this point in the history

  2. Factorization stage 1 

    - SymEngine, TaintEngine, SnapshotEngin were been moved in Trace
- Todo: Use Instruction class
    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    51b27a1 View commit details
    Browse the repository at this point in the history

  3. - Add elements in a Tritinst class and add this 

      class in the trace
- Remove the Basic Block Class - We don't care for the moment
    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    2fff4ed View commit details
    Browse the repository at this point in the history

  4. Add a new method in Tritinst and add comments

    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    548ff4b View commit details
    Browse the repository at this point in the history

  5. Adds debug code to see if all is going good

    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    4a817b8 View commit details
    Browse the repository at this point in the history

  6. Fix issue #16

    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    de65a22 View commit details
    Browse the repository at this point in the history

  7. Add some new semantics 

    - Semantic add mem, imm
- Semantic add mem, reg
    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    1eb2ef1 View commit details
    Browse the repository at this point in the history

  8. Fix some bitvector issue in the SMT2 representation

    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    433053e View commit details
    Browse the repository at this point in the history

  9. Delete some useles headers

    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    85e14d5 View commit details
    Browse the repository at this point in the history

  10. Add the cmp [mem], reg semantic

    @JonathanSalwan
    JonathanSalwan authored and Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    29e867d View commit details
    Browse the repository at this point in the history

  11. Adding a small script to handle command line calls to the pintool

    Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    43f9511 View commit details
    Browse the repository at this point in the history

  12. Adding the '*~' regexp to .gitignore for my Emacs

    Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    9f72077 View commit details
    Browse the repository at this point in the history

  13. Reformating and cleaning core.cpp (no significant changes)

    Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    09276eb View commit details
    Browse the repository at this point in the history

  14. Handling the arguments of the executable in the script

    Emmanuel Fleury committed Feb 6, 2015
    Configuration menu
    Copy the full SHA
    a82c7e7 View commit details
    Browse the repository at this point in the history