1. 19 Jul, 2017 2 commits
  2. 14 Jul, 2017 3 commits
  3. 22 Jun, 2017 1 commit
  4. 17 Jun, 2017 4 commits
  5. 15 May, 2017 1 commit
    • Following SPEC test programs are now supported:
        perl (calculating CRC hash of an string)
        bzip2 (compressing a text file which is about 2KB in size)
        gcc (compiling a Fibonacci series calculator C program)
        astar (an implementation of the A* path finding algorithm)
        gnugo (an AI code playing the Go board game)
        hmmer (profile hidden markov models used for sequence searching)
        sjeng (an AI code playing the Chess board game)
        grover (a quantum search algorithm ran over libquantum simulator)
        jm-h264ref (the reference implementation of the h.264 video encoder)
        omnetpp (a discrete event simulator used in a closed queueing net)
        xalan (an XSLT tool converting a sample XML file to an HTML output)
      This commit incorporates changes upto bc835fd commit of the twinner
      project git repo.
      Behnam Momeni authored
  6. 05 Apr, 2017 4 commits
    • Appropriate input contents are tainted in each eval script.
      Behnam Momeni authored
    • The -taint start1,end1,start2,end2,...,startn,endn option taints
      the [start1, end2), ..., [startn,endn) memory intervals. The rest
      of the memory will be assumed to be constant; not tainted.
      Behnam Momeni authored
    • The -lookup XYZ option searches memory (the stack area) at the
      start of analysis time for the XYZ content and prints found addresses.
      Behnam Momeni authored
    • The -printstack option prints the top bytes of the stack
      at the start of analysis time according to the canonical
      hexdump (hex/ascii) format.
      Behnam Momeni authored
  7. 03 Apr, 2017 2 commits
    • This commit is created based on the cd46f4a commit of the
      twinner project git repo. Additional features of
      twintool (not required for symbolic execution alone) have been removed.
      Behnam Momeni authored
    • Initial commit · a3df3af3
      Behnam Momeni authored