Commits · f3d0dc03f92266786720639df513221558e32cf2 · Marek Chalupa / slowbeast

Browse files

Feb 16, 2021
- kindse relations: fix names collisions · f3d0dc03
  Marek Chalupa authored Feb 16, 2021
  f3d0dc03
- kindse relations: fix a typo · df783866
  Marek Chalupa authored Feb 16, 2021
  df783866
- annotatedcfa: change dumping the edges · 2a65cb34
  Marek Chalupa authored Feb 16, 2021
  
  2a65cb34
- kindse: fix creating initial sequence · 2960f25a
  Marek Chalupa authored Feb 16, 2021
  2960f25a
- Fix getting the initial sequence from last iteration · 2624fa1e
  Marek Chalupa authored Feb 16, 2021
  2624fa1e
- Fix allocating global variables lazily · ffe5edbd
  Marek Chalupa authored Feb 15, 2021
  
  ffe5edbd
- Fix reading less than 8 uninitialized bits · 9db36ce7
  Marek Chalupa authored Feb 15, 2021
  
  9db36ce7
- kindse: handle comparison of null to symbolic pointer · dce6abf0
  Marek Chalupa authored Feb 16, 2021
  
  dce6abf0
Feb 15, 2021
- Assign a type to every instruction that returns sth · e0695547
  Marek Chalupa authored Feb 09, 2021
  
  e0695547
- MM: handle more unsupported -> nondet · 32b188bb
  Marek Chalupa authored Feb 15, 2021
  
  32b188bb
- Allow creating memory object with size None · e08c0f6e
  Marek Chalupa authored Feb 15, 2021
  
  e08c0f6e
- Fix the previous commit · aa9e471e
  Marek Chalupa authored Feb 15, 2021
  
  aa9e471e
- Fix executing assume edges · 8b62ecd4
  Marek Chalupa authored Feb 15, 2021
  
  8b62ecd4
- lazy mem: overapproximate unsupported operations · 4c210c93
  Marek Chalupa authored Feb 15, 2021
  4c210c93
- reformatt · 2671d37d
  Marek Chalupa authored Feb 15, 2021
  
  2671d37d
- kindse: do not ignore killed states · e96e3106
  Marek Chalupa authored Feb 15, 2021
  e96e3106
- Fix copying LazySE states · e972623f
  Marek Chalupa authored Feb 15, 2021
  
  e972623f
- parser: use error-fn · 926c6e36
  Marek Chalupa authored Feb 15, 2021
  
  926c6e36
- Change output · 45174e88
  Marek Chalupa authored Feb 15, 2021
  
  45174e88
- kindes: a small refactoring · b078ec6b
  Marek Chalupa authored Feb 15, 2021
  
  b078ec6b
- ir: add type() to GlobalVariable · ce70deca
  Marek Chalupa authored Feb 15, 2021
  
  ce70deca
- Fix unfolding the loops · 4413859e
  Marek Chalupa authored Feb 15, 2021
  
  4413859e
- Fix unfolding paths · 81c697d3
  Marek Chalupa authored Feb 15, 2021
  
  81c697d3
- Fix paths subsumption · 10d22570
  Marek Chalupa authored Feb 15, 2021
  
  10d22570
- Implement loops unfolding · 37f39dc4
  Marek Chalupa authored Feb 15, 2021
  
  37f39dc4
- Fix a bug in checking initial paths · 68504808
  Marek Chalupa authored Feb 15, 2021
  
  68504808
Feb 11, 2021
- Let handle_loop return paths that has not been searched · 271637af
  Marek Chalupa authored Feb 11, 2021
  
  271637af
- remove unused code · 67088c1f
  Marek Chalupa authored Feb 11, 2021
  
  67088c1f
- refactor code a bit · a7c7637a
  Marek Chalupa authored Feb 11, 2021
  
  a7c7637a
- kindse: start extending initial seqence creation · d202c0a4
  Marek Chalupa authored Feb 11, 2021
  
  d202c0a4
- Fix two methods · de12159f
  Marek Chalupa authored Feb 11, 2021
  
  de12159f
- kindse: refactor strengthening the initial sequence · 06a30baa
  Marek Chalupa authored Feb 11, 2021
  
  06a30baa
- Fix overapproximating classes · 6a07fdea
  Marek Chalupa authored Feb 11, 2021
  
  6a07fdea
Feb 09, 2021
- Kindse pathexecutor: Handle nondet calls · eb7e27f4
  Marek Chalupa authored Feb 09, 2021
  
  eb7e27f4
- kindse: fix overapproximating literals · d4ae1078
  Marek Chalupa authored Feb 09, 2021
  d4ae1078
- Use also equalities to constants in overapprox · 7dd8eb23
  Marek Chalupa authored Jan 18, 2021
  7dd8eb23
- kindse: refactor dropping clauses · 5dbace29
  Marek Chalupa authored Feb 09, 2021
  
  5dbace29
- kindse: handle equalities to constants · 1af0f3ff
  Marek Chalupa authored Jan 15, 2021
  
  1af0f3ff
- Fix executing CFA paths · 0f83c43f
  Marek Chalupa authored Jan 15, 2021
  0f83c43f
- CFA: transform assertions to error locations · 8c27e1cd
  Marek Chalupa authored Jan 15, 2021
  8c27e1cd