Commits · f27c13e1e3e6982879890aefce88bd9baca73766 · Marek Chalupa / slowbeast

Browse files

Mar 24, 2021
- BSE: encode also symbolic pointers · f27c13e1
  Marek Chalupa authored Mar 24, 2021
  f27c13e1
- BSE: coerce float to bitvec when necessary · 357562dd
  Marek Chalupa authored Mar 24, 2021
  
  357562dd
- BSE: fix gathering symbols · bd4a7131
  Marek Chalupa authored Mar 24, 2021
  
  bd4a7131
- bself: fix checks for inductivity · e15e5ee9
  Marek Chalupa authored Mar 24, 2021
  
  e15e5ee9
- Fix creating extract instruction · 497dd3a7
  Marek Chalupa authored Mar 24, 2021
  497dd3a7
- expr mgr: refactor Bool() · add15e50
  Marek Chalupa authored Mar 24, 2021
  add15e50
- Fix createing the null pointer · 58231457
  Marek Chalupa authored Mar 24, 2021
  58231457
- Do not create default offset · e2af8f0c
  Marek Chalupa authored Mar 24, 2021
  e2af8f0c
- symexe: fix setting the width of a pointer · c84f1077
  Marek Chalupa authored Mar 24, 2021
  
  c84f1077
- BSE: catch abnormally terminated paths · 6b5fee9d
  Marek Chalupa authored Mar 24, 2021
  
  6b5fee9d
Mar 23, 2021
- Setup BSE testing · 4725bbf9
  Marek Chalupa authored Mar 23, 2021
  
  4725bbf9
- Allow running KindSE too · fbf62ed0
  Marek Chalupa authored Mar 23, 2021
  fbf62ed0
- Fix code after feractoring · 29ba86c3
  Marek Chalupa authored Mar 23, 2021
  29ba86c3
- bse: remove debugging prints · 832f2131
  Marek Chalupa authored Mar 23, 2021
  
  832f2131
- savior · 91b84fd9
  Marek Chalupa authored Mar 23, 2021
  
  91b84fd9
- savior · 9d9bad4a
  Marek Chalupa authored Mar 23, 2021
  
  9d9bad4a
- savior · ecde7406
  Marek Chalupa authored Mar 23, 2021
  
  ecde7406
Mar 22, 2021
- symbolic domain: do not convert bool to bitvec in eq, neq · 39e0cdc5
  Marek Chalupa authored Mar 22, 2021
  
  39e0cdc5
Mar 19, 2021
- se: report 'Error found.' · 39420b02
  Marek Chalupa authored Mar 19, 2021
  39420b02
- tests: add a new test for BSE · f2d44d4c
  Marek Chalupa authored Mar 19, 2021
  
  f2d44d4c
- FIX nondets · eaca58e7
  Marek Chalupa authored Mar 19, 2021
  
  eaca58e7
- Fix BSE · fd59f64a
  Marek Chalupa authored Mar 19, 2021
  
  fd59f64a
- BSE: fix creating values from nondet calls · 24e86759
  Marek Chalupa authored Mar 19, 2021
  
  24e86759
- Allow returning ConcreteVal from substitute · 33a35bd3
  Marek Chalupa authored Mar 19, 2021
  
  33a35bd3
- fix memmodel · 23310455
  Marek Chalupa authored Mar 19, 2021
  
  23310455
- savior · a72b4890
  Marek Chalupa authored Mar 19, 2021
  a72b4890
Mar 18, 2021
- savior · 2b4a44e9
  Marek Chalupa authored Mar 18, 2021
  
  2b4a44e9
Mar 17, 2021
- Rewrite BSE to be actually BSE · 8afe259a
  Marek Chalupa authored Mar 17, 2021
  8afe259a
- se: rename addNondet -> add_nondet · 70959753
  Marek Chalupa authored Mar 17, 2021
  
  70959753
- Make NondetLoad inherit from NondetInstrResult · 830e1aa5
  Marek Chalupa authored Mar 17, 2021
  
  830e1aa5
Mar 16, 2021
- BSE: fix an obsolete comment · 962f2e20
  Marek Chalupa authored Mar 16, 2021
  
  962f2e20
- remove old commented code · aa7efb61
  Marek Chalupa authored Mar 16, 2021
  
  aa7efb61
- BSE: move LoopInfo to its own file · 528acf32
  Marek Chalupa authored Mar 16, 2021
  
  528acf32
- BSE: move InductiveSet to its own file · f15f29e1
  Marek Chalupa authored Mar 16, 2021
  
  f15f29e1
- BSE: remove unused functions · c42ffe6a
  Marek Chalupa authored Mar 16, 2021
  
  c42ffe6a
- --amend · 1c53572e
  Marek Chalupa authored Mar 16, 2021
  
  1c53572e
- BSE: rename executor class · 03ce8972
  Marek Chalupa authored Mar 16, 2021
  
  03ce8972
- BSE: remove unused methods · d2c58470
  Marek Chalupa authored Mar 16, 2021
  
  d2c58470
- BSE: use only simple starting inductive sequences · dfb909d3
  Marek Chalupa authored Mar 16, 2021
  dfb909d3
- Fix rewriting formulas · f363f49a
  Marek Chalupa authored Mar 16, 2021
  
  f363f49a