Commits · 584ef58127a44314c9e2658468136af94a9629cb · Marek Chalupa / slowbeast

Browse files

Feb 19, 2021
- remove unused method · 584ef581
  Marek Chalupa authored Feb 19, 2021
  
  584ef581
- blackify · d5fe8086
  Marek Chalupa authored Feb 19, 2021
  
  d5fe8086
- rename a method · 2ca9f60c
  Marek Chalupa authored Feb 19, 2021
  
  2ca9f60c
- Fix a test · e3789400
  Marek Chalupa authored Feb 19, 2021
  
  e3789400
- kindse: use computed invariants during execution · ddfe7379
  Marek Chalupa authored Feb 19, 2021
  
  ddfe7379
- Kindse: pass inferred invariants between checkers · beef9003
  Marek Chalupa authored Feb 19, 2021
  beef9003
- overapprox more a bit · 501b6278
  Marek Chalupa authored Feb 19, 2021
  
  501b6278
- lazy MM: override allocate · e080684e
  Marek Chalupa authored Feb 19, 2021
  e080684e
- Start implementing interproc stuff · e73fd797
  Marek Chalupa authored Feb 19, 2021
  
  e73fd797
- blackify code · d282d133
  Marek Chalupa authored Feb 19, 2021
  
  d282d133
- llvm parser: return bitvector of len 1 for false/true · 1a5e65bd
  Marek Chalupa authored Feb 19, 2021
  
  1a5e65bd
Feb 18, 2021
- adjust adding relations · 80aea72f
  Marek Chalupa authored Feb 18, 2021
  
  80aea72f
- remove unused var · ba15cc63
  Marek Chalupa authored Feb 18, 2021
  
  ba15cc63
- relations.py: fix exception · 4620f2cb
  Marek Chalupa authored Feb 18, 2021
  4620f2cb
- kindse: handle loops in sequence · da9aeb25
  Marek Chalupa authored Feb 18, 2021
  
  da9aeb25
- Move loops.py file · 41497626
  Marek Chalupa authored Feb 18, 2021
  
  41497626
- Add the computation of strongly connected components · 95ab4f23
  Marek Chalupa authored Feb 18, 2021
  95ab4f23
- adjust assertion · a4e3f882
  Marek Chalupa authored Feb 18, 2021
  
  a4e3f882
- kindse: generate relations also from previous states · 81b31be7
  Marek Chalupa authored Feb 18, 2021
  
  81b31be7
- Refactor adding relations a bit · 8fab75b8
  Marek Chalupa authored Feb 18, 2021
  
  8fab75b8
Feb 17, 2021
- annotations: change __repr__ · 5eb2430a
  Marek Chalupa authored Feb 17, 2021
  
  5eb2430a
- kindse: use incremental solving for states subsumption · e893acc6
  Marek Chalupa authored Feb 17, 2021
  
  e893acc6
- kindse: add InductiveSet class · 981b0900
  Marek Chalupa authored Feb 17, 2021
  
  981b0900
- lazy execution: keep metadata to nondet results of instructions · 41a255ce
  Marek Chalupa authored Feb 17, 2021
  
  41a255ce
- rename nondets to snake case · 999ca688
  Marek Chalupa authored Feb 17, 2021
  
  999ca688
- kindse: fix subsuming states · d88d85bc
  Marek Chalupa authored Feb 17, 2021
  d88d85bc
Feb 16, 2021
- improve verbosity of dbgv and add new dbgvv option · 6c63df4c
  Marek Chalupa authored Feb 16, 2021
  6c63df4c
- 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