Commits · 9e5383df697048108a1b1cc450e27bd9d47e3980 · Marek Chalupa / slowbeast

Browse files

Sep 21, 2020
- kindse: get also safe states after executing a path · 9e5383df
  Marek Chalupa authored Sep 21, 2020
  9e5383df
Sep 10, 2020
- kindse: rename ready -> safe · 9ff002ba
  Marek Chalupa authored Sep 10, 2020
  
  9ff002ba
- kindse.py: refactor a line · 0e2a6ed5
  Marek Chalupa authored Sep 10, 2020
  
  0e2a6ed5
Sep 04, 2020
- symexe: fix a wrong syntax of isinstance · 8184e658
  Marek Chalupa authored Sep 04, 2020
  8184e658
- exprs: lower symbolic constants to python constants · e965c68c
  Marek Chalupa authored Sep 04, 2020
  e965c68c
- expressions: optimize symbolic expressions · 2d8a020c
  Marek Chalupa authored Sep 04, 2020
  2d8a020c
- symexe: fix putting assumptions into states · 2f48790b
  Marek Chalupa authored Sep 04, 2020
  2f48790b
- symexe: use implication in forking · ec05d0a9
  Marek Chalupa authored Sep 04, 2020
  ec05d0a9
Sep 01, 2020
- tests: add a new test · ae521364
  Marek Chalupa authored Sep 01, 2020
  ae521364
- kindse: fix extending paths · 72190356
  Marek Chalupa authored Sep 01, 2020
  72190356
- kindse: fix a bug in extending paths · 101005b9
  Marek Chalupa authored Sep 01, 2020
  101005b9
- fix running the tests · 583c7f95
  Marek Chalupa authored Sep 01, 2020
  583c7f95
- kindse: allow specify the step from command line · dd5567d7
  Marek Chalupa authored Sep 01, 2020
  
  dd5567d7
- sb: rename -step to -se-step · 4297724e
  Marek Chalupa authored Sep 01, 2020
  4297724e
- kindse: allow extending path by more than one bblock · 2a15c202
  Marek Chalupa authored Sep 01, 2020
  2a15c202
Aug 31, 2020
- symexe: fix executing assumptions · a2d999ca
  Marek Chalupa authored Aug 31, 2020
  a2d999ca
Aug 04, 2020
- tests: change -kind-basic -> -kind-naive · 14fd8e4c
  Marek Chalupa authored Aug 04, 2020
  14fd8e4c
- executor: fix executing a CFG path · d44288ec
  Marek Chalupa authored Aug 04, 2020
  
  d44288ec
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