Commits · 836164b3f137b575282b359d45395115088435a1 · Marek Chalupa / slowbeast

Browse files

Feb 09, 2021
- rename *Inti to lower case · 836164b3
  Marek Chalupa authored Jan 12, 2021
  
  836164b3
- rename getName -> name · 0f609bd3
  Marek Chalupa authored Jan 12, 2021
  
  0f609bd3
- rename getSize -> size · f89f1506
  Marek Chalupa authored Jan 12, 2021
  
  f89f1506
- rename isGlobal -> is_global · 757c14ea
  Marek Chalupa authored Jan 12, 2021
  
  757c14ea
- Rename methods of Store/Load · 527a27b0
  Marek Chalupa authored Jan 12, 2021
  527a27b0
- kindse: handle undefined calls on CFA edges · 4e633ef3
  Marek Chalupa authored Jan 12, 2021
  4e633ef3
- CFA: add CallEdge class · 7926681f
  Marek Chalupa authored Jan 12, 2021
  7926681f
- Implement lazy value access · b44c4042
  Marek Chalupa authored Jan 12, 2021
  b44c4042
- ir: register how many bytes write uses · f9463b1e
  Marek Chalupa authored Jan 12, 2021
  f9463b1e
- kindse: switch from CFG to CFA · cd458c53
  Marek Chalupa authored Jan 11, 2021
  cd458c53
- kindse: build also CFA · b5cd526f
  Marek Chalupa authored Jan 11, 2021
  
  b5cd526f
Feb 03, 2021
- remove unused code · 6fd90ac8
  Marek Chalupa authored Feb 03, 2021
  
  6fd90ac8
Jan 11, 2021
- kindse: add a dbg message · 4d9c0c95
  Marek Chalupa authored Jan 11, 2021
  
  4d9c0c95
Jan 08, 2021
- kindse: get rid of unused feature · 0d221d30
  Marek Chalupa authored Jan 08, 2021
  0d221d30
- kindse: remove unused method · e2d0f98f
  Marek Chalupa authored Jan 08, 2021
  e2d0f98f
- kindse: improve extending the literal · a8fe128c
  Marek Chalupa authored Jan 08, 2021
  a8fe128c
- kindse: refactor extend_literal a bit · 350d95b3
  Marek Chalupa authored Jan 08, 2021
  
  350d95b3
- kindse: factor out extend_literal · d7e4764d
  Marek Chalupa authored Jan 08, 2021
  d7e4764d
- kindse: factor out modify_literal · 4450d5af
  Marek Chalupa authored Jan 08, 2021
  
  4450d5af
- kindse: factor out check_literal · 8db361e0
  Marek Chalupa authored Jan 08, 2021
  
  8db361e0
- kind: factor out _check_literal · fcaabc75
  Marek Chalupa authored Jan 08, 2021
  fcaabc75
Jan 04, 2021
- tests: fix -kind tests · d20cef03
  Marek Chalupa authored Jan 04, 2021
  d20cef03
- Restructure and refactor kindse.py · bf034b85
  Marek Chalupa authored Nov 24, 2020
  bf034b85
Dec 14, 2020
- Fix implementation of fpclassify · e92cf025
  Marek Chalupa authored Dec 14, 2020
  
  e92cf025
Dec 08, 2020
- kindse: refactor · 02eb4b89
  Marek Chalupa authored Dec 08, 2020
  
  02eb4b89
- Split off a file from kindse · 5cf57922
  Marek Chalupa authored Dec 08, 2020
  5cf57922
Dec 03, 2020
- Do not convert object to bytes if we overwrite the present value · 168f1a62
  Marek Chalupa authored Dec 02, 2020
  
  168f1a62
- Hide reports from nested KindSe · 9a3c23fc
  Marek Chalupa authored Dec 02, 2020
  
  9a3c23fc
- kind: catch memory errors · eca197a6
  Marek Chalupa authored Dec 02, 2020
  eca197a6
- Add ldbgv debugging function · a71a5a1e
  Marek Chalupa authored Dec 02, 2020
  a71a5a1e
Dec 01, 2020
- kindse: call itself recursively · 1da8da78
  Marek Chalupa authored Dec 01, 2020
  1da8da78
- kindse: factor out program structure into a new class · 33fced74
  Marek Chalupa authored Dec 01, 2020
  
  33fced74
- Fix Kind · 7b06a040
  Marek Chalupa authored Dec 01, 2020
  7b06a040
- Make check_base a method of KindSe · ed7a946a
  Marek Chalupa authored Dec 01, 2020
  
  ed7a946a
- Fix reinterpret cast · f8f70a84
  Marek Chalupa authored Dec 01, 2020
  
  f8f70a84
Nov 30, 2020
- Fix signed cast of bytes · 0057f8e2
  Marek Chalupa authored Nov 30, 2020
  
  0057f8e2
- add a test · c82e4822
  Marek Chalupa authored Nov 30, 2020
  
  c82e4822
- Add Bytes type · c67b39cd
  Marek Chalupa authored Nov 30, 2020
  c67b39cd
- Differentiate between reinterpret and static cast · ab10c8e9
  Marek Chalupa authored Nov 30, 2020
  
  ab10c8e9
- Fix reinterpret cast · 6085de70
  Marek Chalupa authored Nov 30, 2020
  
  6085de70