Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 10, 2019

• Fix broken test.

  

  Johannes Kinder

  committed
  937d705
  More actions

• Fixed lessOrEqual for strided interval elements (fixes #10).

  

  Johannes Kinder

  committed
  b9f8cfb
  More actions

• Fixed off-by-one error in identifying code sections (thanks to Thomas

  

  Johannes Kinder

  committed
  e10c237
  More actions

Commits on Mar 31, 2017

• Ignore output files

  

  Johannes Kinder

  committed
  20cc4fa
  More actions

Commits on Mar 10, 2016

• Delete legacy analyses.

  

  Johannes Kinder

  committed
  5ac86b3
  More actions

Commits on Oct 28, 2015

• Make interval analysis skip stack alignment

  

  Johannes Kinder

  committed
  2555a70
  More actions

Commits on Apr 21, 2015

• Add gitignore.

  

  Johannes Kinder

  committed
  ae1b07c
  More actions

• Fixed varargs warning.

  

  Johannes Kinder

  committed
  45d7e41
  More actions

• Deleted hgignore

  

  Johannes Kinder

  committed
  1386fd1
  More actions

• Bumped copyright year.

  

  Johannes Kinder

  committed
  8b404fc
  More actions

• Removed unused analyses and solver / BDD interfaces.

  

  Johannes Kinder

  committed
  8662260
  More actions

• Merging development branch and master branch, since there never was a formal release cycle anyway.

  

  Johannes Kinder

  committed
  464bc77
  More actions

Commits on Mar 18, 2014

• Bumped copyright year.

  

  Johannes Kinder

  committed
  e4f52f6
  More actions

• Fixed warnings from missing case labels, unused SupressWarnings, and potential resource leaks.

  

  Johannes Kinder

  committed
  2b655a9
  More actions

Commits on Feb 5, 2014

• Fixed setting TOP values for memory in the image data range (thanks to Sven Mattsen & Arne Wichmann)

  

  Johannes Kinder

  committed
  39e1e10
  More actions

• Fixed joining of states with TOP image data

  

  Johannes Kinder

  committed
  d57fa20
  More actions

Commits on Feb 4, 2014

• Fixed lessOrEqual inversion for static data and global memory region. Added detailed comment explaining the mechanism.

  

  Johannes Kinder

  committed
  654ac64
  More actions

Commits on Jun 4, 2013

• Bumped copyright year.

  

  Johannes Kinder

  committed
  41994de
  More actions

Commits on May 13, 2013

• Added README

  

  Johannes Kinder

  committed
  d6395d4
  More actions

Commits on May 8, 2013

• Output topology graphs for procedure, if procedure-graph option is used.

  

  Johannes Kinder

  committed
  edaf651
  More actions

Commits on May 7, 2013

• Fixed null pointer exception on empty procedure graphs.

  

  Johannes Kinder

  committed
  3e32c10
  More actions

• Use var threshold only for VPC detection.

  

  Johannes Kinder

  committed
  d5d4bcb
  More actions

Commits on May 6, 2013

• Log candidates for VPC detection.

  

  Johannes Kinder

  committed
  d0e1a80
  More actions

• Add default isBasicBlockHead implementation to share common code among CFG classes. FineGrainedCFG now implements BB splitting at all assume edges.

  

  Johannes Kinder

  committed
  0fc6830
  More actions

Commits on May 4, 2013

• Use intraprocedural CFG after simplification again to have same block heads as before.

  

  Johannes Kinder

  committed
  9c541c6
  More actions

• Added command line option to generate an intraprocedural CFG for a single procedure.

  

  Johannes Kinder

  committed
  3635a15
  More actions

Commits on May 3, 2013

• Added initial support for generating intraprocedural CFGs of individual procedures.

  

  Johannes Kinder

  committed
  a1b8759
  More actions

• Added shortcut function to check whether an assume was generated from a call/return instruction.

  

  Johannes Kinder

  committed
  5f8fda1
  More actions

• Added reverse lookup for symbols.

  

  Johannes Kinder

  committed
  454ac72
  More actions

Commits on May 1, 2013

• Preliminary support for call-return edges - support BOT elements in VPC reconstruction.

  

  Johannes Kinder

  committed
  8f109e2
  More actions

• Draw weak edges for interprocedural call and return edges.

  

  Johannes Kinder

  committed
  e1844e1
  More actions

• Fixed missing procedure entries for some fallthrough edges.

  

  Johannes Kinder

  committed
  701ab12
  More actions

• Fixed procedure detection.

  

  Johannes Kinder

  committed
  189c86f
  More actions

Commits on Apr 30, 2013

• Cleanup imports.

  

  Johannes Kinder

  committed
  f5ea87b
  More actions

• Added procedure tracking code to VPC analysis.

  

  Johannes Kinder

  committed
  cd240dd
  More actions

Pagination

PreviousNext