Commits · 49873fe6c90d721d8499106233aceaff42482bc2 · Marek Chalupa / slowbeast

Browse files

Jul 25, 2020
- expr: allow to obtain symbols from the expression · 49873fe6
  Marek Chalupa authored Jul 25, 2020
  
  49873fe6
- symexe: factor out constraints · ad2beeeb
  Marek Chalupa authored Jul 25, 2020
  
  ad2beeeb
- Prepare for a new algorithm with invariants · 4810e692
  Marek Chalupa authored Jul 25, 2020
  4810e692
Apr 01, 2020
- several small changes due to efficientcy · 08f82935
  Marek Chalupa authored Apr 01, 2020
  08f82935
Mar 11, 2020
- Replace a loop with a list comprehension · 31b4b332
  Marek Chalupa authored Mar 11, 2020
  
  31b4b332
- Add a class for representing callgraph of a program · 76e23076
  Marek Chalupa authored Mar 11, 2020
  
  76e23076
- Use enumerate() in appropriate places · bad49326
  Marek Chalupa authored Mar 11, 2020
  
  bad49326
- Use __slots__ on a few more places · d5dfbd30
  Marek Chalupa authored Mar 11, 2020
  
  d5dfbd30
Mar 07, 2020
- autopep the code · d15d04ab
  Marek Chalupa authored Mar 07, 2020
  
  d15d04ab
- cfgind: fix executing path from init · 0fb3472e
  Marek Chalupa authored Mar 07, 2020
  0fb3472e
Mar 06, 2020
- se: rework working with memory · 11ab55bd
  Marek Chalupa authored Mar 06, 2020
  11ab55bd
- cfgind: replace a loop with list comprehension · 3e4bc06f
  Marek Chalupa authored Mar 06, 2020
  
  3e4bc06f
- tests: fix make check · e563e99c
  Marek Chalupa authored Mar 06, 2020
  e563e99c
- cfgind: replace a loop with list comprehension · 253131f6
  Marek Chalupa authored Mar 06, 2020
  
  253131f6
Mar 03, 2020
- formatting changes · 26af5d98
  Marek Chalupa authored Mar 03, 2020
  
  26af5d98
- execution state: move global bindings into memory · cfaf7051
  Marek Chalupa authored Mar 03, 2020
  
  cfaf7051
Feb 27, 2020
- kind: fix checking for killed state · 08991f34
  Marek Chalupa authored Feb 27, 2020
  08991f34
- kind: ix taking a reference · ed5882d6
  Marek Chalupa authored Feb 27, 2020
  
  ed5882d6
Feb 26, 2020
- kind: fix checking paths starting in initial locations · 25fb13fe
  Marek Chalupa authored Feb 26, 2020
  
  25fb13fe
Feb 25, 2020
- fix lazy allocation · 718fa8fa
  Marek Chalupa authored Feb 25, 2020
  
  718fa8fa
- declare slots at MemoryObject · 3c2c2a7a
  Marek Chalupa authored Feb 25, 2020
  
  3c2c2a7a
- Add MemoryModel class · 3547e686
  Marek Chalupa authored Feb 24, 2020
  3547e686
- symb. mem: do not use string for checking uninit read · eb18f32b
  Marek Chalupa authored Feb 25, 2020
  
  eb18f32b
- Return Error class from memory · 993e780d
  Marek Chalupa authored Feb 25, 2020
  993e780d
- Change the error representation · a4924eb9
  Marek Chalupa authored Feb 25, 2020
  
  a4924eb9
- Get rid of ExecutionError · 68880524
  Marek Chalupa authored Feb 25, 2020
  68880524
Feb 24, 2020
- refactor memory allocations a bit · 10581889
  Marek Chalupa authored Feb 24, 2020
  
  10581889
Feb 21, 2020
- Add a new method for induction on CFG · f14986cc
  Marek Chalupa authored Feb 21, 2020
  f14986cc
- fix z3 interruption fall-through · b1ab7f72
  Marek Chalupa authored Feb 21, 2020
  
  b1ab7f72
Feb 20, 2020
- kind: do not execute paths with infeasible suffix · 5c4bfae9
  Marek Chalupa authored Feb 20, 2020
  5c4bfae9
- Add -se-exit-on-error option. · 8113d2eb
  Marek Chalupa authored Feb 20, 2020
  
  8113d2eb
- Add new tests · 7fa797ee
  Marek Chalupa authored Feb 20, 2020
  
  7fa797ee
- kind: fix the kind algorithm · 2ef163ab
  Marek Chalupa authored Feb 20, 2020
  2ef163ab
- Refactor the kind code a bit · 3e9db5f3
  Marek Chalupa authored Feb 20, 2020
  
  3e9db5f3
- executor: add a dbg message · 6600c80f
  Marek Chalupa authored Feb 20, 2020
  
  6600c80f
- kind: fix the algorithm · f529d403
  Marek Chalupa authored Feb 20, 2020
  
  f529d403
Feb 19, 2020
- kind: implement more efficient induction step · 5d37edbe
  Marek Chalupa authored Feb 19, 2020
  5d37edbe
- kind: remove commented code · 0ed2f88b
  Marek Chalupa authored Feb 19, 2020
  
  0ed2f88b
- kind: prettify output messages · 597a7f95
  Marek Chalupa authored Feb 19, 2020
  
  597a7f95
- tests: add a simple kind test · aa0e5ef7
  Marek Chalupa authored Feb 19, 2020
  
  aa0e5ef7