Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit history

Commits on Nov 28, 2024

• Merge branch 'main' of https://github.com/ulasaydin/ProgramAnalysisProject

  JimeBB14

  committed
  4afafb9View commit details

  Copy full SHA for 4afafb9

  View code at this pointBrowse repository at this point

• fixed parser

  JimeBB14

  committed
  218d31bView commit details

  Copy full SHA for 218d31b

  View code at this pointBrowse repository at this point

• Distinguish errors (such as preconditions) from invariant lines

  tornado80

  committed
  d3f9017View commit details

  Copy full SHA for d3f9017

  View code at this pointBrowse repository at this point

• instrumenter quick fix

  gigianni

  authored
  02f3fcdView commit details

  Copy full SHA for 02f3fcd

  View code at this pointBrowse repository at this point

• Update instrumenter.py

  gigianni

  authored
  8c7edb8View commit details

  Copy full SHA for 8c7edb8

  View code at this pointBrowse repository at this point

• Check for invariant related error in nagini output

  tornado80

  committed
  5ddde1cView commit details

  Copy full SHA for 5ddde1c

  View code at this pointBrowse repository at this point

• Merge remote-tracking branch 'origin/main' into daikon-nagini-branch

  JimeBB14

  committed
  f27f0afView commit details

  Copy full SHA for f27f0af

  View code at this pointBrowse repository at this point

• nagini iteration added

  JimeBB14

  committed
  d376be9View commit details

  Copy full SHA for d376be9

  View code at this pointBrowse repository at this point

• Add constraint for upper bound for array length

  tornado80

  committed
  65d2c4fView commit details

  Copy full SHA for 65d2c4f

  View code at this pointBrowse repository at this point

• Remove redundant code

  tornado80

  committed
  98d1befView commit details

  Copy full SHA for 98d1bef

  View code at this pointBrowse repository at this point

• Fix array indexing issue with z3 arrays

  tornado80

  committed
  c10fd95View commit details

  Copy full SHA for c10fd95

  View code at this pointBrowse repository at this point

Commits on Nov 27, 2024

• Merge branch 'main' of https://github.com/ulasaydin/ProgramAnalysisProject into daikon-nagini-branch

  JimeBB14

  committed
  966df6fView commit details

  Copy full SHA for 966df6f

  View code at this pointBrowse repository at this point

• nagini error tarrays

  JimeBB14

  committed
  a4f4867View commit details

  Copy full SHA for a4f4867

  View code at this pointBrowse repository at this point

• Add more tests to benchmark and verify benchmark in nagini

  tornado80

  committed
  22debecView commit details

  Copy full SHA for 22debec

  View code at this pointBrowse repository at this point

• Add program counter, function name and heap contents to concolic tree

  tornado80

  committed
  29a7365View commit details

  Copy full SHA for 29a7365

  View code at this pointBrowse repository at this point

• Add full support for arrays

  tornado80

  committed
  6802d30View commit details

  Copy full SHA for 6802d30

  View code at this pointBrowse repository at this point

Commits on Nov 26, 2024

• Generate tests for benchmark

  tornado80

  committed
  2a47a50View commit details

  Copy full SHA for 2a47a50

  View code at this pointBrowse repository at this point

• Add support for arrays without symbolic indices

  tornado80

  committed
  fc3b176View commit details

  Copy full SHA for fc3b176

  View code at this pointBrowse repository at this point

Commits on Nov 25, 2024

• Co-authored-by: lukxsx <[email protected]>

  tornado80

  committed
  adcb5f7View commit details

  Copy full SHA for adcb5f7

  View code at this pointBrowse repository at this point

Commits on Nov 23, 2024

• Refactor function call in interpreter and symbolic interpreter

  tornado80

  committed
  966985dView commit details

  Copy full SHA for 966985d

  View code at this pointBrowse repository at this point

• Import project modules in invariant finder after adding path to sys

  tornado80

  committed
  9dbd452View commit details

  Copy full SHA for 9dbd452

  View code at this pointBrowse repository at this point

• Add output directory command line arguments to benchmark script

  tornado80

  committed
  27671c3View commit details

  Copy full SHA for 27671c3

  View code at this pointBrowse repository at this point

Commits on Nov 22, 2024

• Daikon to Nagini, Nagini to the original python and nagini verification

  JimeBB14

  committed
  bd16689View commit details

  Copy full SHA for bd16689

  View code at this pointBrowse repository at this point

• Merge branch 'concolic-execution'

  tornado80

  committed
  ad79914View commit details

  Copy full SHA for ad79914

  View code at this pointBrowse repository at this point

• Fix tree nodes in concolic execution

  tornado80

  committed
  db05da0View commit details

  Copy full SHA for db05da0

  View code at this pointBrowse repository at this point

Commits on Nov 19, 2024

• Merge branch 'main' into HEAD

  gigianni

  committed
  6a79346View commit details

  Copy full SHA for 6a79346

  View code at this pointBrowse repository at this point

• Finish implementation of concolic execution on programs with only int and bool

  tornado80

  committed
  4218c37View commit details

  Copy full SHA for 4218c37

  View code at this pointBrowse repository at this point

• Add a failing test for concolic test case generator

  tornado80

  committed
  6993543View commit details

  Copy full SHA for 6993543

  View code at this pointBrowse repository at this point

Commits on Nov 18, 2024

• Refactor and fix bugs in concolic test case generator

  tornado80

  committed
  5225e17View commit details

  Copy full SHA for 5225e17

  View code at this pointBrowse repository at this point

• Implement concolic execution

  Show description for f9dabe3
  

  4 peoplecommitted
  f9dabe3View commit details

  Copy full SHA for f9dabe3

  View code at this pointBrowse repository at this point

Commits on Nov 17, 2024

• Work in progress: concolic execution

  tornado80

  committed
  6cbf4a9View commit details

  Copy full SHA for 6cbf4a9

  View code at this pointBrowse repository at this point

Commits on Nov 16, 2024

• Tests for hashcode

  Show description for a885325
  lukxsx

  committed
  a885325View commit details

  Copy full SHA for a885325

  View code at this pointBrowse repository at this point

• Nagini parser and into ast program

  Show description for 57c85f5
  JimeBB14

  committed
  57c85f5View commit details

  Copy full SHA for 57c85f5

  View code at this pointBrowse repository at this point

• Merge branch 'main' of https://github.com/ulasaydin/ProgramAnalysisProject

  JimeBB14

  committed
  575e533View commit details

  Copy full SHA for 575e533

  View code at this pointBrowse repository at this point

• Nagini parser and into ast program

  Show description for e57e579
  JimeBB14

  committed
  e57e579View commit details

  Copy full SHA for e57e579

  View code at this pointBrowse repository at this point