Code

[test]#3

Code

Open

S1eGa wants to merge 120 commits intomainS1eGa/klee:mainfrom test-featureS1eGa/klee:test-featureCopy head branch name to clipboard

+29,044-4,394

Commits

Commits on Feb 27, 2024

• [fix] Tests for states with mocks

  

  Columpio

  authored and

  S1eGa

  committed
  457911c

  Copy full SHA for 457911c

• Memory optimize, remove InstructionInfoTable, add immutable list for symbolics

  

  ladisgin

  authored and

  S1eGa

  committed
  743cfec

  Copy full SHA for 743cfec

• [feat] uint128

  

  Columpio

  authored and

  S1eGa

  committed
  35aad70

  Copy full SHA for 35aad70

• [chore] Optimized KBlock mem

  

  Columpio

  authored and

  S1eGa

  committed
  23039dc

  Copy full SHA for 23039dc

• [fix] Error testcase processing doesn't affect coveredNew

  

  misonijnik

  authored and

  S1eGa

  committed
  3c02329

  Copy full SHA for 3c02329

• [fix] Fix computeValidity in partial response case

  

  misonijnik

  authored and

  S1eGa

  committed
  a7e217d

  Copy full SHA for a7e217d

• [chore] Disable test

  

  misonijnik

  authored and

  S1eGa

  committed
  a967ee0

  Copy full SHA for a967ee0

• [chore] Add a test

  

  misonijnik

  authored and

  S1eGa

  committed
  9502385

  Copy full SHA for 9502385

• [chore] Add an option to disable loop deletion pass

  

  misonijnik

  authored and

  S1eGa

  committed
  10d87a6

  Copy full SHA for 10d87a6

• [fix] Fix stats

  

  misonijnik

  authored and

  S1eGa

  committed
  9247847

  Copy full SHA for 9247847

• [feat] Differentiate isCoveredNew and isCoveredNewError

  

  misonijnik

  authored and

  S1eGa

  committed
  6871b04

  Copy full SHA for 6871b04

• [chore] Z3 is not required in a lot of tests, so remove the requirements

  

  misonijnik

  authored and

  S1eGa

  committed
  8bad08f

  Copy full SHA for 8bad08f

• [feat] Improved Iterative Deepening Searcher

  

  Columpio

  authored and

  S1eGa

  committed
  bef97af

  Copy full SHA for bef97af

• [fix] Fixed inner types for unnamed structs.

  S1eGa

  committed
  87ff7c0

  Copy full SHA for 87ff7c0

• [feat] Separate branch and block coverage

  

  misonijnik

  authored and

  S1eGa

  committed
  04fb6b5

  Copy full SHA for 04fb6b5

• [chore] Update build.sh

  

  misonijnik

  authored and

  S1eGa

  committed
  e939f09

  Copy full SHA for e939f09

• [feat] Prefer a smaller integer vaule in a model

  

  misonijnik

  authored and

  S1eGa

  committed
  aede6e4

  Copy full SHA for aede6e4

• [chore] Optimized IterativeDeepeningSearcher

  

  Columpio

  authored and

  S1eGa

  committed
  59fdf83

  Copy full SHA for 59fdf83

• [chore] Optimized getDistance

  

  Columpio

  authored and

  S1eGa

  committed
  a8d246a

  Copy full SHA for a8d246a

• [chore] Strip llvm.dbg.declare

  

  Columpio

  authored and

  S1eGa

  committed
  5aa5eb8

  Copy full SHA for 5aa5eb8

• [fix] Compare exprs by height in simplifier

  

  ocelaiwo

  authored and

  S1eGa

  committed
  9e8bf64

  Copy full SHA for 9e8bf64

• [feat] Uninitialized Memory [feat] Sizeless ObjectState

  Show description for 9706690
  

  ocelaiwo

  authored and

  S1eGa

  committed
  9706690

  Copy full SHA for 9706690

• [chore] Disable test

  

  misonijnik

  authored and

  S1eGa

  committed
  f635c8a

  Copy full SHA for f635c8a

• [fix] Fix performance bugs

  

  misonijnik

  authored and

  S1eGa

  committed
  8cc4d4b

  Copy full SHA for 8cc4d4b

• [fix] Change satisfies function in InvalidReponse

  

  dim8art

  authored and

  S1eGa

  committed
  95c1595

  Copy full SHA for 95c1595

• Change CacheEntry to store constraints_ty

  

  dim8art

  authored and

  S1eGa

  committed
  05ee674

  Copy full SHA for 05ee674

• Create AlphaEquvalenceSolver

  

  dim8art

  authored and

  S1eGa

  committed
  4c09778

  Copy full SHA for 4c09778

• [fix] Propagation of without filter

  

  Columpio

  authored and

  S1eGa

  committed
  aa108f2

  Copy full SHA for aa108f2

• [fix] Small fixes

  

  Columpio

  authored and

  S1eGa

  committed
  4882bbf

  Copy full SHA for 4882bbf

• [fix] Generate test only for successful solution found

  

  misonijnik

  authored and

  S1eGa

  committed
  98df581

  Copy full SHA for 98df581

• [chore] Deal with compiler warnings

  

  Columpio

  authored and

  S1eGa

  committed
  a3a4a05

  Copy full SHA for a3a4a05

• [feat] Cover on the fly based on time

  

  Columpio

  authored and

  S1eGa

  committed
  943f003

  Copy full SHA for 943f003

• [fix] rewriting ordering for terms with equal height

  

  Columpio

  authored and

  S1eGa

  committed
  6e92286

  Copy full SHA for 6e92286

• [fix] Update test

  

  misonijnik

  authored and

  S1eGa

  committed
  7229e16

  Copy full SHA for 7229e16

• [feat] Removed unwanted calls pass

  

  Columpio

  authored and

  S1eGa

  committed
  c6b5d1a

  Copy full SHA for c6b5d1a

• [fix] Filter objects and values in changeVersion

  

  misonijnik

  authored and

  S1eGa

  committed
  7befcf9

  Copy full SHA for 7befcf9

• [fix] Clean memory operations

  

  misonijnik

  authored and

  S1eGa

  committed
  67480cb

  Copy full SHA for 67480cb

• [fix] Fix AlphaEquivalenceSolver

  

  misonijnik

  authored and

  S1eGa

  committed
  cc224b7

  Copy full SHA for cc224b7

• [fix] Halt when LLVM passes already proved unreachability

  

  Columpio

  authored and

  S1eGa

  committed
  d882995

  Copy full SHA for d882995

• [chore] Update version and README.md

  

  misonijnik

  authored and

  S1eGa

  committed
  4fd9d16

  Copy full SHA for 4fd9d16

• [fix] Improved call remover

  

  Columpio

  authored and

  S1eGa

  committed
  dd6022a

  Copy full SHA for dd6022a

• [feat] Add OptimizeAggressive option

  

  misonijnik

  authored and

  S1eGa

  committed
  06cf512

  Copy full SHA for 06cf512

• [feat] Getting the performance/memory consumption balance in DisjointSetUnion

  

  misonijnik

  authored and

  S1eGa

  committed
  21c3523

  Copy full SHA for 21c3523

• [fix] Fix performance for unbalanced expressions

  

  misonijnik

  authored and

  S1eGa

  committed
  5ab6cd4

  Copy full SHA for 5ab6cd4

• [refactor] Separate isStuck and isCycled, isStuck is smarter now

  

  misonijnik

  authored and

  S1eGa

  committed
  90a9b84

  Copy full SHA for 90a9b84

• [fix] Limit the cexPreferences size

  

  misonijnik

  authored and

  S1eGa

  committed
  f315261

  Copy full SHA for f315261

• [fix] Remove unused field

  

  misonijnik

  authored and

  S1eGa

  committed
  06ca8d2

  Copy full SHA for 06ca8d2

• [fix] Fix memory consumption

  Show description for fa4a283
  

  misonijnik

  authored and

  S1eGa

  committed
  fa4a283

  Copy full SHA for fa4a283

• [feat] Enable coverOnTheFly after approaching memory cup

  

  misonijnik

  authored and

  S1eGa

  committed
  b06407d

  Copy full SHA for b06407d

• [style]

  

  misonijnik

  authored and

  S1eGa

  committed
  44ef6a2

  Copy full SHA for 44ef6a2

• [fix] Consider all not empty and not fully covered functions

  

  misonijnik

  authored and

  S1eGa

  committed
  c7d3c48

  Copy full SHA for c7d3c48

• [fix] Fix perfomance bug

  

  misonijnik

  authored and

  S1eGa

  committed
  80f38b5

  Copy full SHA for 80f38b5

• [fix] Fix isStuck

  

  misonijnik

  authored and

  S1eGa

  committed
  d8f1867

  Copy full SHA for d8f1867

• [fix] klee-test-comp.c

  

  Columpio

  authored and

  S1eGa

  committed
  5ec276f

  Copy full SHA for 5ec276f

• [feat] Single-file run script

  

  Columpio

  authored and

  S1eGa

  committed
  91fe2c3

  Copy full SHA for 91fe2c3

• [chore] Updated README

  

  Columpio

  authored and

  S1eGa

  committed
  69cc99b

  Copy full SHA for 69cc99b

• [feat] Improve coverage branches tests

  

  misonijnik

  authored and

  S1eGa

  committed
  7f3cff4

  Copy full SHA for 7f3cff4

• [fix] CexCachingSolver

  

  misonijnik

  authored and

  S1eGa

  committed
  7b5f9a6

  Copy full SHA for 7b5f9a6

• [fix] Slightly improve performance

  

  misonijnik

  authored and

  S1eGa

  committed
  e485e7f

  Copy full SHA for e485e7f

• [fix] AlphaEquivalenceSolver

  

  misonijnik

  authored and

  S1eGa

  committed
  1866938

  Copy full SHA for 1866938

• [feat] Add X86FPAsX87FP80

  

  misonijnik

  authored and

  S1eGa

  committed
  435f392

  Copy full SHA for 435f392

• [chore] Update scripts/kleef

  

  misonijnik

  authored and

  S1eGa

  committed
  be6ef33

  Copy full SHA for be6ef33

• [chore] Disable libc++ tests on msan run because they time out on CI

  

  misonijnik

  authored and

  S1eGa

  committed
  bd7c4b8

  Copy full SHA for bd7c4b8

• [fix] Must consider the whole concretization

  

  misonijnik

  authored and

  S1eGa

  committed
  bca927d

  Copy full SHA for bca927d

• [chore] Update kleef script

  

  misonijnik

  authored and

  S1eGa

  committed
  85481ef

  Copy full SHA for 85481ef

• [chore] Update tests

  

  misonijnik

  authored and

  S1eGa

  committed
  c28e0e2

  Copy full SHA for c28e0e2

• [fix] MemoryTriggerCoverOnTheFly

  

  misonijnik

  authored and

  S1eGa

  committed
  8d8faad

  Copy full SHA for 8d8faad

• [chore] Update kleef

  

  misonijnik

  authored and

  S1eGa

  committed
  9ae75c9

  Copy full SHA for 9ae75c9

• [fix] Optimized free-standing functions are broken

  

  misonijnik

  authored and

  S1eGa

  committed
  45c7b7c

  Copy full SHA for 45c7b7c

• [chore] Update kleef script

  

  misonijnik

  authored and

  S1eGa

  committed
  1813fc2

  Copy full SHA for 1813fc2

• [fix] Address may be symbolic but unique, try resolve firstly

  

  misonijnik

  authored and

  S1eGa

  committed
  f585c74

  Copy full SHA for f585c74

• [fix] Put in order fp-runtime functions

  

  misonijnik

  authored and

  S1eGa

  committed
  38a378e

  Copy full SHA for 38a378e

• [fix] Bring calls to SparseStorage constructor up to date

  

  misonijnik

  authored and

  S1eGa

  committed
  dcdd528

  Copy full SHA for dcdd528

• [feat] Added Bitwuzla solver in list of available solvers. Added scripts for building bitwuzla from scripts.

  S1eGa

  committed
  45c0bb1

  Copy full SHA for 45c0bb1

• typo

  

  dim8art

  authored and

  S1eGa

  committed
  d9e7223

  Copy full SHA for d9e7223

• Add lazy calculation of constraint dsu

  

  dim8art

  authored and

  S1eGa

  committed
  2bcba82

  Copy full SHA for 2bcba82

• [chore] Update GuidedSearcher::selectState

  

  misonijnik

  authored and

  S1eGa

  committed
  c35bad9

  Copy full SHA for c35bad9

• [fix] Convert all x86FP to x87FP80 in FPToX87FP80Ext

  Show description for 0b27fb6
  

  misonijnik

  authored and

  S1eGa

  committed
  0b27fb6

  Copy full SHA for 0b27fb6

• [fix] Restore newSize in case newSize > maxSize

  

  misonijnik

  authored and

  S1eGa

  committed
  9c1caa9

  Copy full SHA for 9c1caa9

• [chore] ExprEitherSymcrete ->ExprOrSymcrete

  

  misonijnik

  authored and

  S1eGa

  committed
  1df90e8

  Copy full SHA for 1df90e8

• [fix] AlphaBuilder

  

  misonijnik

  authored and

  S1eGa

  committed
  5d91554

  Copy full SHA for 5d91554

• [fix] CexCachingSolver

  

  misonijnik

  authored and

  S1eGa

  committed
  c71f2cb

  Copy full SHA for c71f2cb

• [fix] SparseStorage::print

  

  ocelaiwo

  authored and

  S1eGa

  committed
  dad6ccd

  Copy full SHA for dad6ccd

• [fix] sizeOfSetRange

  

  misonijnik

  authored and

  S1eGa

  committed
  2cd78c4

  Copy full SHA for 2cd78c4

• [fix] Disable AlignSymbolicPointers by default

  

  misonijnik

  authored and

  S1eGa

  committed
  3b48299

  Copy full SHA for 3b48299

• [chore] Install meson locally

  

  misonijnik

  authored and

  S1eGa

  committed
  15b79ad

  Copy full SHA for 15b79ad

• [fix] Preserve floatReplacements

  

  misonijnik

  authored and

  S1eGa

  committed
  c71b0d3

  Copy full SHA for c71b0d3

• [feat] Add new memory usage checks

  

  ocelaiwo

  authored and

  S1eGa

  committed
  218f70d

  Copy full SHA for 218f70d

• [chore] Update options default values

  

  misonijnik

  authored and

  S1eGa

  committed
  e100a78

  Copy full SHA for e100a78

• [fix] Continue searching for the error if the state is not reproducible

  

  misonijnik

  authored and

  S1eGa

  committed
  88975c2

  Copy full SHA for 88975c2

• [feat] Added flag to dump all states if function specified in function-call-reproduce has not been reached.

  S1eGa

  committed
  cab6da9

  Copy full SHA for cab6da9

• [chore] Update tests

  

  misonijnik

  authored and

  S1eGa

  committed
  241358a

  Copy full SHA for 241358a

• [chore] Update build.sh

  

  misonijnik

  authored and

  S1eGa

  committed
  592da1c

  Copy full SHA for 592da1c

• [chore] Update kleef

  

  misonijnik

  authored and

  S1eGa

  committed
  20d6e2e

  Copy full SHA for 20d6e2e

• [chore] Update differential-shellcheck.yml

  

  misonijnik

  authored and

  S1eGa

  committed
  4ab8cfa

  Copy full SHA for 4ab8cfa

• [feat] Introduces KValue --- base class for all KLEEs wrappers around llvm::* structures (KInstruction, KConstant, etc.)

  Show description for 261d966
  S1eGa

  committed
  261d966

  Copy full SHA for 261d966

• [refactor] The KValue was stripped of public constructor and made abstract.

  S1eGa

  committed
  d9f3156

  Copy full SHA for d9f3156

• [refactor] KBlock made abstract, reduntant VALUE constant from KValueKind enum.

  S1eGa

  committed
  86e19ba

  Copy full SHA for 86e19ba

• [refactor] Added ByteWidth type. Separated symbolicSizeConstantAddress factory method for instructions and global variables. Added consistency check in bitwuzla.

  S1eGa

  committed
  f0fabeb

  Copy full SHA for f0fabeb

• [chore] Remove submodules

  

  misonijnik

  authored and

  S1eGa

  committed
  5724005

  Copy full SHA for 5724005

• [chore] Add json and optional into build.sh

  

  misonijnik

  authored and

  S1eGa

  committed
  d238275

  Copy full SHA for d238275

• [chore] replace nonstd::optional with std::optional

  

  ocelaiwo

  authored and

  S1eGa

  committed
  4169629

  Copy full SHA for 4169629

• [fix] klee-test-comp.c: remove unused function that fails to compile

  

  ocelaiwo

  authored and

  S1eGa

  committed
  fd8a45b

  Copy full SHA for fd8a45b

• [feat] add entry point multiplex, remove interactive mode

  

  ocelaiwo

  authored and

  S1eGa

  committed
  23192d8

  Copy full SHA for 23192d8

• [fix] Fix the template argument

  

  misonijnik

  authored and

  S1eGa

  committed
  36fb45c

  Copy full SHA for 36fb45c

• [fix] Add arm float constants

  

  misonijnik

  authored and

  S1eGa

  committed
  219233c

  Copy full SHA for 219233c

• [chore] Disable tests with uint128 type on not-x86_64 targets

  

  misonijnik

  authored and

  S1eGa

  committed
  8f9fb7e

  Copy full SHA for 8f9fb7e

• [fix] Disable test on darwin due to stack overflow

  

  misonijnik

  authored and

  S1eGa

  committed
  8451cc5

  Copy full SHA for 8451cc5

• [ci] Update .cirrus.yml

  

  misonijnik

  authored and

  S1eGa

  committed
  55f7438

  Copy full SHA for 55f7438

• [fix] Use find -exec

  

  misonijnik

  authored and

  S1eGa

  committed
  cf5178a

  Copy full SHA for cf5178a

• [fix] Initialize local variables

  

  misonijnik

  authored and

  S1eGa

  committed
  c6a4198

  Copy full SHA for c6a4198

• [fix] Fix assertion fail

  

  misonijnik

  authored and

  S1eGa

  committed
  8d17abf

  Copy full SHA for 8d17abf

• Remove unnecessary field from the ImmutableList

  

  ladisgin

  authored and

  S1eGa

  committed
  cac9566

  Copy full SHA for cac9566

• [fix] fix bitwuzla build version fix

  

  ocelaiwo

  authored and

  S1eGa

  committed
  4fd12f0

  Copy full SHA for 4fd12f0

• Add mocks:

  Show description for 79aedb6
  

  Lana243

  authored and

  S1eGa

  committed
  79aedb6

  Copy full SHA for 79aedb6

• Add annotations json parser

  

  mamaria-k

  authored and

  S1eGa

  committed
  f6072e0

  Copy full SHA for f6072e0

• Add annotations implementation:

  Show description for a36439e
  

  ladisgin

  authored and

  S1eGa

  committed
  a36439e

  Copy full SHA for a36439e

• [chore] clang-format CI check replaced with pre-commit hook using clang-format.

  S1eGa

  committed
  edce929

  Copy full SHA for edce929

• [chore, git] make entire pipeline dependent on the result of the clang-format check.

  S1eGa

  committed
  6b24f90

  Copy full SHA for 6b24f90

• [test]

  S1eGa

  committed
  f991865

  Copy full SHA for f991865