Commits · 235bab074cf3989725cb256e2f6b5aaf945c609e · Marek Chalupa / slowbeast

Browse files

Nov 28, 2020
- Add a basic support for null pointers · 235bab07
  Marek Chalupa authored Nov 28, 2020
  
  235bab07
- sb: fix dumping the program into file · d869485d
  Marek Chalupa authored Nov 28, 2020
  
  d869485d
Nov 27, 2020
- Fix FP once more · a4f22e2f
  Marek Chalupa authored Nov 27, 2020
  
  a4f22e2f
- Fix converting numbers to double · 5ca66308
  Marek Chalupa authored Nov 27, 2020
  
  5ca66308
- Fix concrete division · 1de4c289
  Marek Chalupa authored Nov 27, 2020
  
  1de4c289
- Misc floating point fixes · 871a66b2
  Marek Chalupa authored Nov 27, 2020
  
  871a66b2
- symbolic domain: Fix converting to double · c0a73b4d
  Marek Chalupa authored Nov 27, 2020
  
  c0a73b4d
- Revert "MM: store nondet loads as nondet loads" · 0da385ab
  Marek Chalupa authored Nov 27, 2020
  0da385ab
- comment debuggin message · ca30d722
  Marek Chalupa authored Nov 27, 2020
  
  ca30d722
- Fix FP arithmetic in symbolic domain · 699ed064
  Marek Chalupa authored Nov 27, 2020
  
  699ed064
- Fix floating arithmetic · 51c27195
  Marek Chalupa authored Nov 27, 2020
  
  51c27195
- FP: fix casting floats to int in sext/zext · 1e12fce9
  Marek Chalupa authored Nov 27, 2020
  
  1e12fce9
- Check for overlapping memory writes · cb726149
  Marek Chalupa authored Nov 27, 2020
  cb726149
- FP: fix conversion from float to int · 691c8f52
  Marek Chalupa authored Nov 27, 2020
  
  691c8f52
- Use the right singdness for float->int conversion in the concrete domain · 16f18bff
  Marek Chalupa authored Nov 27, 2020
  
  16f18bff
- Support reading separately written values in some cases · b40470cb
  Marek Chalupa authored Nov 27, 2020
  
  b40470cb
- Fix bitwise operations on floats · 2cc836a8
  Marek Chalupa authored Nov 27, 2020
  
  2cc836a8
- MM: store nondet loads as nondet loads · 824cce09
  Marek Chalupa authored Nov 26, 2020
  
  824cce09
- comment debugging message · 5207c236
  Marek Chalupa authored Nov 27, 2020
  
  5207c236
- Integrate support for incremental solving · 9b880bdc
  Marek Chalupa authored Nov 27, 2020
  
  9b880bdc
- Partially support reading overlapping values from memory · 4ce9bcee
  Marek Chalupa authored Nov 27, 2020
  4ce9bcee
- Fix cast of integers to floats · 44241c70
  Marek Chalupa authored Nov 27, 2020
  44241c70
- FP: fix converting FP values to bitvectors · 21ff7996
  Marek Chalupa authored Nov 27, 2020
  
  21ff7996
- Support GEP to structs · 45eca81b
  Marek Chalupa authored Nov 27, 2020
  
  45eca81b
- Implement select instruction · 5244600c
  Marek Chalupa authored Nov 27, 2020
  5244600c
- Fix signed/unsigned casts · d2a7f9ae
  Marek Chalupa authored Nov 27, 2020
  
  d2a7f9ae
- Fix parsing FP constants · d99a4af9
  Marek Chalupa authored Nov 27, 2020
  
  d99a4af9
- Fix a typo · b8754a10
  Marek Chalupa authored Nov 27, 2020
  
  b8754a10
- Add debugging message · eabe8611
  Marek Chalupa authored Nov 27, 2020
  
  eabe8611
- Add fcmp · e769cbaa
  Marek Chalupa authored Nov 27, 2020
  e769cbaa
- Float fix · ee85d54e
  Marek Chalupa authored Nov 27, 2020
  
  ee85d54e
- Fix symbolic FP computation · c621f1b5
  Marek Chalupa authored Nov 27, 2020
  c621f1b5
- Fix a debugging message · 0f301347
  Marek Chalupa authored Nov 27, 2020
  
  0f301347
Nov 26, 2020
- SE: add replay mode · 35753e1a
  Marek Chalupa authored Nov 26, 2020
  
  35753e1a
- Fix division by 0 · f584103c
  Marek Chalupa authored Nov 26, 2020
  
  f584103c
- Support fpclassify and signbit · 23869d6a
  Marek Chalupa authored Nov 26, 2020
  
  23869d6a
- Floats fix · 18b71330
  Marek Chalupa authored Nov 26, 2020
  
  18b71330
- symexe: check division by 0 · 38b459a6
  Marek Chalupa authored Nov 26, 2020
  
  38b459a6
- FP: Support nan() libc function · 91d02eac
  Marek Chalupa authored Nov 26, 2020
  
  91d02eac
- Fix attributes with FNeg · 78a0c36a
  Marek Chalupa authored Nov 26, 2020
  
  78a0c36a