Commits · 9d94dccdc2580eee3b4d4683ff4ed455fdd54f42 · Marek Chalupa / slowbeast

Browse files

Apr 23, 2021
- bsestate: adjust __repr__ · 9d94dccd
  Marek Chalupa authored Apr 23, 2021
  
  9d94dccd
Apr 22, 2021
- bse: call isfeasible() only once · 5e227925
  Marek Chalupa authored Apr 22, 2021
  
  5e227925
- BSE: fix symbolic access to zeroed globals · 598a9edf
  Marek Chalupa authored Apr 22, 2021
  
  598a9edf
- refactor join_prestate · 0ce76145
  Marek Chalupa authored Apr 22, 2021
  0ce76145
- bse: fix reading from static memory in init states · bc60ffa8
  Marek Chalupa authored Apr 22, 2021
  
  bc60ffa8
- bse: add an assertion · 6af7aff5
  Marek Chalupa authored Apr 22, 2021
  
  6af7aff5
- bsestate: filter nondets after merging memory · 44ef927c
  Marek Chalupa authored Apr 22, 2021
  
  44ef927c
- bse: fix joining states · a02ad9ef
  Marek Chalupa authored Apr 22, 2021
  a02ad9ef
- se: handle zeroed globals · 7bc1283f
  Marek Chalupa authored Apr 22, 2021
  7bc1283f
- Better handling of globals in se/bse · d43562d1
  Marek Chalupa authored Apr 22, 2021
  
  d43562d1
- make: add check-bse target · 5f50751b
  Marek Chalupa authored Apr 22, 2021
  
  5f50751b
- bse ctx: support initialization from paths · 5e0bc849
  Marek Chalupa authored Apr 22, 2021
  
  5e0bc849
- cfa: add is_branching method · c143bf78
  Marek Chalupa authored Apr 22, 2021
  
  c143bf78
- bse: change solving strategy · 6a742ffc
  Marek Chalupa authored Apr 22, 2021
  6a742ffc
- blackify · a2972c67
  Marek Chalupa authored Apr 22, 2021
  
  a2972c67
- BSE: move BSEState to its own file · f5ed0f97
  Marek Chalupa authored Apr 22, 2021
  
  f5ed0f97
- symbolic: build arith formulas only for bitvectors · 2c44a8ca
  Marek Chalupa authored Apr 22, 2021
  2c44a8ca
- bse: fix handling unsupported functions · 5a71dfc3
  Marek Chalupa authored Apr 22, 2021
  5a71dfc3
- tests: add a tests · 62df6eb6
  Marek Chalupa authored Apr 22, 2021
  62df6eb6
- Check for unsupported functions only during analysis · b1b7e02a
  Marek Chalupa authored Apr 22, 2021
  b1b7e02a
- llvm parser: memcpy is unsupported · e67aed2f
  Marek Chalupa authored Apr 22, 2021
  
  e67aed2f
- tests: add two new regression tests · cd3f4d3f
  Marek Chalupa authored Apr 22, 2021
  
  cd3f4d3f
- tests: add a new regression test · cf3a1c56
  Marek Chalupa authored Apr 22, 2021
  
  cf3a1c56
- BSE: fix coercing values · 7f22a7ce
  Marek Chalupa authored Apr 22, 2021
  7f22a7ce
Apr 21, 2021
- bse: replace values based also on input reads · 0d1fe6d8
  Marek Chalupa authored Apr 21, 2021
  
  0d1fe6d8
- BSE: fix joining states · 12cb7044
  Marek Chalupa authored Apr 21, 2021
  12cb7044
- FIXUP fix bse · 28b7ec5c
  Marek Chalupa authored Apr 21, 2021
  
  28b7ec5c
- bse: enable some assertions · 2aa08977
  Marek Chalupa authored Apr 21, 2021
  
  2aa08977
- Add a new method and blackify · ea89d45e
  Marek Chalupa authored Apr 21, 2021
  
  ea89d45e
- lazy sestate: remove unused code · 8741c2cf
  Marek Chalupa authored Apr 21, 2021
  
  8741c2cf
- BSE: fix backward substitution · cb4f3cb3
  Marek Chalupa authored Apr 21, 2021
  cb4f3cb3
- sestate: re-design copying of states · bd1e2e26
  Marek Chalupa authored Apr 21, 2021
  bd1e2e26
- se: rename copyTo -> _copy_to · 6e64315f
  Marek Chalupa authored Apr 21, 2021
  
  6e64315f
- bse: simplify memory model · 119ba182
  Marek Chalupa authored Apr 21, 2021
  119ba182
- tests: add a new regression test · 75ccf4f2
  Marek Chalupa authored Apr 21, 2021
  75ccf4f2
Apr 20, 2021
- sestate: fix isfeasible() · d61415de
  Marek Chalupa authored Apr 20, 2021
  d61415de
- bself: match created sequences if possible · 2569588e
  Marek Chalupa authored Apr 20, 2021
  
  2569588e
- Do not allow None sequences · cda5b4b8
  Marek Chalupa authored Apr 20, 2021
  cda5b4b8
- Fix tests · b798c877
  Marek Chalupa authored Apr 20, 2021
  
  b798c877
- bself: change creating sis · 6045916b
  Marek Chalupa authored Apr 20, 2021
  
  6045916b