Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 24, 2025

• work with multiple versions of angr

  rhelmot

  committed
  20a85b5

  Copy full SHA for 20a85b5

Commits on Apr 13, 2022

• Remove nose imports (#92)

  Show description for bb82599
  mohitrpatil

  authored
  bb82599

  Copy full SHA for bb82599

Commits on Mar 31, 2021

• Unsat states must be treated as potential successors in Tracer

  

  dnivra

  authored and

  rhelmot

  committed
  e9d2b6d

  Copy full SHA for e9d2b6d

Commits on Sep 3, 2020

• Update driller_main.py (#84)

  Show description for ad9643a
  ymgh96

  authored
  ad9643a

  Copy full SHA for ad9643a

Commits on Oct 29, 2019

• nuke travis

  rhelmot

  committed
  f584e8e

  Copy full SHA for f584e8e

Commits on Apr 29, 2019

• enable tracing options for states, which were (accidentally?) disabled in c20d4410

  rhelmot

  committed
  5ab7367

  Copy full SHA for 5ab7367

Commits on Apr 9, 2019

• fixed bug introduced by 01c8425187c9fd30fc3a30e0e6c1ab9ee0b33a3a

  Lukas-Dresel

  committed
  42d2883

  Copy full SHA for 42d2883

Commits on Dec 18, 2018

• Fix python3 str vs bytes issue

  

  pbst

  authored and

  rhelmot

  committed
  96d3acd

  Copy full SHA for 96d3acd

Commits on Nov 6, 2018

• Use binary reading mode for python3

  

  RKX1209

  authored and

  rhelmot

  committed
  3f656fc

  Copy full SHA for 3f656fc

Commits on Oct 27, 2018

• Be careful about removing state options...

  rhelmot

  committed
  c2f1b6c

  Copy full SHA for c2f1b6c

• Copy states

  rhelmot

  committed
  9b27a2c

  Copy full SHA for 9b27a2c

Commits on Oct 10, 2018

• Remove lazy solves from traced states during explorations

  rhelmot

  committed
  31d16bd

  Copy full SHA for 31d16bd

Commits on Oct 9, 2018

• Fix for megatracer. not everythign works...

  rhelmot

  committed
  b20ce50

  Copy full SHA for b20ce50

Commits on Oct 1, 2018

• Remove usage of immutable

  rhelmot

  committed
  9dedef3

  Copy full SHA for 9dedef3

Commits on Sep 15, 2018

• Update paper link; closes #65

  rhelmot

  committed
  f7ad85e

  Copy full SHA for f7ad85e

Commits on Sep 14, 2018

• *snaps fingers angrily*

  rhelmot

  committed
  50012e7

  Copy full SHA for 50012e7

• *snaps fingers*

  rhelmot

  committed
  1e3a391

  Copy full SHA for 1e3a391

Commits on Sep 12, 2018

• upgrade CI to xenial

  rhelmot

  committed
  af8eca7

  Copy full SHA for af8eca7

Commits on Aug 21, 2018

• switch from dpkt-fix to dpkt

  rhelmot

  committed
  9cee6e7

  Copy full SHA for 9cee6e7

• Actually all these changes are py2 backwards compatible so no new branch for yOU

  rhelmot

  committed
  6292989

  Copy full SHA for 6292989

Commits on Jun 15, 2018

• Merge pull request #59 from grimm-co/master

  Show description for 086e2da
  rhelmot

  authored
  086e2da

  Copy full SHA for 086e2da

• Refactor for default seed

  

  ekilmer

  authored and

  rhelmot

  committed
  14ae950

  Copy full SHA for 14ae950

• Add option for seed directory

  Show description for 7af797a
  

  ekilmer

  authored and

  rhelmot

  committed
  7af797a

  Copy full SHA for 7af797a

Commits on Jun 12, 2018

• Merge branch 'driller-callback-logging' into 'master'

  Show description for 4993364
  adamgrimm99

  committed
  4993364

  Copy full SHA for 4993364

• Merge branch 'master' into 'driller-callback-logging'

  Show description for 166c342
  adamgrimm99

  committed
  166c342

  Copy full SHA for 166c342

• Merge branch 'length-extension' into 'master'

  Show description for d7cee5f
  adamgrimm99

  committed
  d7cee5f

  Copy full SHA for d7cee5f

Commits on Jun 6, 2018

• Finish piping length_extention through to callback

  LiptonB

  committed
  c639c94

  Copy full SHA for c639c94

Commits on Jun 5, 2018

• Add length extension to driller local callback

  Show description for 740700f
  LiptonB

  committed
  740700f

  Copy full SHA for 740700f

• Allow configuring logging in local_callback

  LiptonB

  committed
  5b87584

  Copy full SHA for 5b87584

Commits on Apr 30, 2018

• shut the FUCK up

  rhelmot

  committed
  351ab3b

  Copy full SHA for 351ab3b

Commits on Apr 18, 2018

• Fixes for new files

  rhelmot

  committed
  c20d441

  Copy full SHA for c20d441

Commits on Jan 5, 2018

• don't mess with state.cgc unless we are cgc

  rhelmot

  committed
  c536408

  Copy full SHA for c536408

• Rename driller to driller_main to hopefully stave off any nonsense with relative/absolute imports from the callback script

  rhelmot

  committed
  4305860

  Copy full SHA for 4305860

• Revert "missed a spot of dumbass"

  Show description for ba98cde
  rhelmot

  committed
  ba98cde

  Copy full SHA for ba98cde

• Revert "Don't be a dumbass with the imports"

  Show description for 98eaa38
  rhelmot

  committed
  98eaa38

  Copy full SHA for 98eaa38

Pagination

Previous

Next