Commits · 48347d869cfc5846cb24591b6b6beef387807d82 · Marek Chalupa / slowbeast

Browse files

Apr 23, 2021
- bself: add union_matched option to BSELF · 48347d86
  Marek Chalupa authored Apr 23, 2021
  
  48347d86
- tests: adjust timeout · 51cfb188
  Marek Chalupa authored Apr 23, 2021
  
  51cfb188
- tests: add a regression test · 487f0918
  Marek Chalupa authored Apr 23, 2021
  
  487f0918
- bself: fix initial relations · fc1a965c
  Marek Chalupa authored Apr 23, 2021
  fc1a965c
- tests: add new tests · c091a35c
  Marek Chalupa authored Apr 23, 2021
  c091a35c
- tests: make ptr-overwrite supported by SE for now · 091f883d
  Marek Chalupa authored Apr 23, 2021
  091f883d
- relations: do not filter relations multiple times and yield disjuncts · d71eb223
  Marek Chalupa authored Apr 23, 2021
  
  d71eb223
- bse: fix creating memory constraints · 84bf76b7
  Marek Chalupa authored Apr 23, 2021
  84bf76b7
- tests: add a new test · bfde1513
  Marek Chalupa authored Apr 23, 2021
  
  bfde1513
- tests: add a new regression test · 825f78a0
  Marek Chalupa authored Apr 23, 2021
  825f78a0
- blackify · 34f036d3
  Marek Chalupa authored Apr 23, 2021
  
  34f036d3
- bse: comment debugging output · bf1bcec8
  Marek Chalupa authored Apr 23, 2021
  
  bf1bcec8
- BSE: fix matching input values · c4866539
  Marek Chalupa authored Apr 23, 2021
  c4866539
- FIXUP change debug · 7aab619e
  Marek Chalupa authored Apr 23, 2021
  
  7aab619e
- bse state: change debugging output · e6867175
  Marek Chalupa authored Apr 23, 2021
  
  e6867175
- bse mem: remove + from loads in dump() · d62a15ba
  Marek Chalupa authored Apr 23, 2021
  
  d62a15ba
- bse: simplify naming of variables · 5b70239a
  Marek Chalupa authored Apr 23, 2021
  5b70239a
- 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