Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 19, 2016

• Ported to LLVM 3.8

  Show description for d3bd00d
  grievejia

  committed
  d3bd00d

  Copy full SHA for d3bd00d

Commits on Oct 16, 2015

• Create LICENSE.md

  grievejia

  committed
  332290e

  Copy full SHA for 332290e

Commits on Mar 18, 2015

• Update README.md

  grievejia

  committed
  7efdb11

  Copy full SHA for 7efdb11

• Update README.md

  grievejia

  committed
  df28df5

  Copy full SHA for df28df5

• Update README.md

  grievejia

  committed
  e90b28f

  Copy full SHA for e90b28f

• Migrated to CMake and LLVM 3.6

  grievejia

  committed
  5fb4f72

  Copy full SHA for 5fb4f72

Commits on Oct 18, 2014

• Compile with LLVM 3.5

  grievejia

  committed
  657eaa0

  Copy full SHA for 657eaa0

Commits on Oct 9, 2014

• Update README and some coding style to cope with LLVM 3.5 and C++11

  grievejia

  committed
  46e5d71

  Copy full SHA for 46e5d71

Commits on May 21, 2014

• Taught the constraint collector to recognize inttoptr+ptrtoint

  grievejia

  committed
  1c0a988

  Copy full SHA for 1c0a988

Commits on Apr 15, 2014

• Bug fix

  grievejia

  committed
  8ea431f

  Copy full SHA for 8ea431f

• Added public interfaces. Added more const-correctness guarantee.

  grievejia

  committed
  3b86704

  Copy full SHA for 3b86704

Commits on Apr 7, 2014

• Added command-line argument to control analysis behavior as well as the

  Show description for 9ca9508
  grievejia

  committed
  9ca9508

  Copy full SHA for 9ca9508

Commits on Apr 5, 2014

• More bug fixes, and the pass is now hooked into LLVM alias analysis

  Show description for 2912424
  grievejia

  committed
  2912424

  Copy full SHA for 2912424

Commits on Apr 4, 2014

• More bug fixes

  grievejia

  committed
  591e69e

  Copy full SHA for 591e69e

Commits on Apr 3, 2014

• More bug fixes. There is one more bug that was detected by bzip2 test

  Show description for 5bbea7d
  grievejia

  committed
  5bbea7d

  Copy full SHA for 5bbea7d

Commits on Apr 2, 2014

• Finished HCD. Fixed several subtle yet critical bugs.

  Show description for 6d3e9e8
  grievejia

  committed
  6d3e9e8

  Copy full SHA for 6d3e9e8

Commits on Apr 1, 2014

• Finally LCD is done!!!

  Show description for e0d7a88
  grievejia

  committed
  e0d7a88

  Copy full SHA for e0d7a88

Commits on Mar 31, 2014

• Removed all the GEP-related stuffs. Now the analysis on this branch becomes field-insensitive.

  grievejia

  committed
  0a15739

  Copy full SHA for 0a15739

• Minor refinement

  grievejia

  committed
  a6dd685

  Copy full SHA for a6dd685

Commits on Mar 29, 2014

• Extensive debugging has been done to remove several subtle yet critical

  Show description for 89b17cf
  grievejia

  committed
  89b17cf

  Copy full SHA for 89b17cf

Commits on Mar 27, 2014

• Finished HU. Finished an initial version of constraint solver. Yet it's

  Show description for 2302147
  grievejia

  committed
  2302147

  Copy full SHA for 2302147

Commits on Mar 26, 2014

• Finished HVN. Started HU.

  grievejia

  committed
  caca0a1

  Copy full SHA for caca0a1

Commits on Mar 25, 2014

• Finished HVN. Need constraint rewrite.

  grievejia

  committed
  6865195

  Copy full SHA for 6865195

• Started HVN

  grievejia

  committed
  ea09278

  Copy full SHA for ea09278

Commits on Mar 22, 2014

• Finished constraint collection phase.

  grievejia

  committed
  4028376

  Copy full SHA for 4028376

Commits on Mar 21, 2014

• Finished the constraint collection phase (but not library call

  Show description for d13ef62
  grievejia

  committed
  d13ef62

  Copy full SHA for d13ef62

Commits on Mar 20, 2014

• A major overhaul on NodeFactory.

  Show description for 4fabf89
  grievejia

  committed
  4fabf89

  Copy full SHA for 4fabf89

Commits on Mar 19, 2014

• Minor enhancement

  grievejia

  committed
  a36c619

  Copy full SHA for a36c619

Commits on Mar 18, 2014

• Finished a skeleton for the analysis

  grievejia

  committed
  920da1f

  Copy full SHA for 920da1f