Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 15, 2020

• Merge branch 'thesis-cleanup'

  nathanjackson

  committed
  20420e5

  Copy full SHA for 20420e5

Commits on Apr 11, 2020

• make sample06 a bit more interesting

  nathanjackson

  committed
  dc7efcb

  Copy full SHA for dc7efcb

• add gitignore for samples directory

  nathanjackson

  committed
  6705520

  Copy full SHA for 6705520

• add sample to test symbolic execution

  nathanjackson

  committed
  b395430

  Copy full SHA for b395430

• add sample that depends on command-line args

  nathanjackson

  committed
  3abe83d

  Copy full SHA for 3abe83d

• add sample with lock, samples makefile

  nathanjackson

  committed
  b2a4a24

  Copy full SHA for b2a4a24

Commits on Apr 9, 2020

• add unicorn and loop hook cmdline opts

  nathanjackson

  committed
  622e62d

  Copy full SHA for 622e62d

Commits on Apr 8, 2020

• cleanup logging

  nathanjackson

  committed
  b6e3eab

  Copy full SHA for b6e3eab

• add symbolic cmdline arg handling

  nathanjackson

  committed
  53ec640

  Copy full SHA for 53ec640

• add vscode settings

  nathanjackson

  committed
  7e2b711

  Copy full SHA for 7e2b711

• add gitignore

  nathanjackson

  committed
  e3a911f

  Copy full SHA for e3a911f

Commits on Dec 4, 2019

• remove heading left in by accident

  nathanjackson

  committed
  6c30a17

  Copy full SHA for 6c30a17

• acknowledge Dr. Zhang and WSU

  nathanjackson

  committed
  2326599

  Copy full SHA for 2326599

• uppercase title

  nathanjackson

  committed
  d1aa28e

  Copy full SHA for d1aa28e

• update README, add LICENSE

  nathanjackson

  committed
  96892bf

  Copy full SHA for 96892bf

Commits on Dec 2, 2019

• hook pthread_exit calls to just return

  nathanjackson

  committed
  e06c99b

  Copy full SHA for e06c99b

Commits on Nov 22, 2019

• remove loop.py file

  nathanjackson

  committed
  5df3c98

  Copy full SHA for 5df3c98

• automatically finding loops seems to work now

  nathanjackson

  committed
  50b9100

  Copy full SHA for 50b9100

• switch to CFGFast

  nathanjackson

  committed
  a2abde0

  Copy full SHA for a2abde0

Commits on Nov 21, 2019

• prototyping loop hook

  nathanjackson

  committed
  067d1bc

  Copy full SHA for 067d1bc

• some cleanup after reworking prototype

  nathanjackson

  committed
  0d6e4d2

  Copy full SHA for 0d6e4d2

Commits on Nov 19, 2019

• remove prototype2

  nathanjackson

  committed
  a5a477d

  Copy full SHA for a5a477d

• some refactoring

  nathanjackson

  committed
  7648a77

  Copy full SHA for 7648a77

Commits on Oct 22, 2019

• skip pthread_exit case

  nathanjackson

  committed
  6bc2cdb

  Copy full SHA for 6bc2cdb

• add lock tracking to 2nd prototype

  nathanjackson

  committed
  efe7e7e

  Copy full SHA for efe7e7e

Commits on Oct 20, 2019

• prototyping reachability analysis

  nathanjackson

  committed
  bc696eb

  Copy full SHA for bc696eb

Commits on Sep 29, 2019

• make memory accesses reference an active thread set

  nathanjackson

  committed
  d74d37e

  Copy full SHA for d74d37e

Commits on Sep 21, 2019

• fix false positive due to invalid pthread_join return value

  nathanjackson

  committed
  d3f99b3

  Copy full SHA for d3f99b3

Commits on Sep 18, 2019

• use spiller exploration technique, remove skip hooks

  nathanjackson

  committed
  0a88b64

  Copy full SHA for 0a88b64

Commits on Sep 17, 2019

• filter out reports not in .bss or .data

  nathanjackson

  committed
  c8bacac

  Copy full SHA for c8bacac

Commits on Aug 27, 2019

• remove some false positives with active thread tracking

  nathanjackson

  committed
  f7de68b

  Copy full SHA for f7de68b

Commits on Aug 21, 2019

• prototyping thread join logic

  nathanjackson

  committed
  230dc29

  Copy full SHA for 230dc29

• simplify with shadow memory

  nathanjackson

  committed
  8c81eea

  Copy full SHA for 8c81eea

Commits on Aug 16, 2019

• prototyping race reporting

  nathanjackson

  committed
  908cd0c

  Copy full SHA for 908cd0c

• start tracking locks and other data for analysis

  nathanjackson

  committed
  28e1245

  Copy full SHA for 28e1245