Commits · e7b301db424b88e89d49218e04df921031882341 · Marek Chalupa / slowbeast · GitLab

This project is archived. Its data is read-only.

Nov 18, 2020
- kindse: a small cleanup + dbg message · e7b301db
  Marek Chalupa authored Nov 18, 2020
  
  e7b301db
- kindse: use also the rest of clause in overapprox_literal · b9379960
  Marek Chalupa authored Nov 18, 2020
  b9379960
- kindse: put an upper bound on extending a literal · eae6606b
  Marek Chalupa authored Nov 18, 2020
  
  eae6606b
- kindse overapprox_literal: add a fast path for +1 · bc52b03a
  Marek Chalupa authored Nov 18, 2020
  bc52b03a
- handle constants in remove_implied_literals · 232af30b
  Marek Chalupa authored Nov 18, 2020
  
  232af30b
Nov 15, 2020
- kindse: fallback to unwinding for non-inductive initial frame · e73880d4
  Marek Chalupa authored Nov 15, 2020
  
  e73880d4
- Fix creating special functions · 4c5bdd71
  Marek Chalupa authored Nov 15, 2020
  
  4c5bdd71
- tests: add tests for structs · a9854071
  Marek Chalupa authored Nov 15, 2020
  
  a9854071
- llvm parser: handle struct types · f314650a
  Marek Chalupa authored Nov 15, 2020
  f314650a
- concrete domain: fix a typo · 22f2267e
  Marek Chalupa authored Nov 15, 2020
  
  22f2267e
- tests: add a new test for pointer conversion · c6356afc
  Marek Chalupa authored Nov 15, 2020
  
  c6356afc
- llvm parser: implement inttoptr and ptrtoint as bitcast · b314333a
  Marek Chalupa authored Nov 15, 2020
  
  b314333a
- support ptrtoint and inttoptr · 7ae91635
  Marek Chalupa authored Nov 15, 2020
  
  7ae91635
- tests: add tests for converting floats · bb54b9ac
  Marek Chalupa authored Nov 15, 2020
  
  bb54b9ac
- parser llvm: reduce the use of . a bit · b2a48f60
  Marek Chalupa authored Nov 15, 2020
  
  b2a48f60
- Implement conversion between float and int · 0313bd23
  Marek Chalupa authored Nov 15, 2020
  
  0313bd23
Nov 13, 2020
- stateful SE: start implementing stateful SE · d077b897
  Marek Chalupa authored Nov 13, 2020
  d077b897
- Fix adding const constraints · feae071b
  Marek Chalupa authored Nov 13, 2020
  
  feae071b
Nov 10, 2020
- tests: add a few kind tests · 894247d7
  Marek Chalupa authored Nov 10, 2020
  
  894247d7
- llvm parser: fix accessing None · 4b6faff7
  Marek Chalupa authored Nov 10, 2020
  
  4b6faff7
- tests: add a float test · 7c3e4384
  Marek Chalupa authored Nov 10, 2020
  
  7c3e4384
- domains: fix arith on floats · 8d76d3c2
  Marek Chalupa authored Nov 10, 2020
  
  8d76d3c2
- domain: start implementing floats domain · 0aad6302
  Marek Chalupa authored Nov 10, 2020
  
  0aad6302
- llvm parser: parse FP constants · 73645103
  Marek Chalupa authored Nov 10, 2020
  
  73645103
- ir.types: add FloatType · 0ba3a96e
  Marek Chalupa authored Nov 10, 2020
  0ba3a96e
- llvm parser: parse fp arith instructions · 6b4ae263
  Marek Chalupa authored Nov 10, 2020
  
  6b4ae263
- parser llvm: parse fcmp instruction · b4fa31fe
  Marek Chalupa authored Nov 10, 2020
  
  b4fa31fe
- move Pointer to domains · c49b6681
  Marek Chalupa authored Nov 10, 2020
  
  c49b6681
- move constants to domains · 1d0b0f7b
  Marek Chalupa authored Nov 10, 2020
  
  1d0b0f7b
- Move value.py to domains · 08af2205
  Marek Chalupa authored Nov 10, 2020
  08af2205
- add ConcreteInt and ConcreteBool classes · 4146d729
  Marek Chalupa authored Nov 10, 2020
  
  4146d729
- Move ConcreteVal into domains.concrete · 3994c08a
  Marek Chalupa authored Nov 10, 2020
  3994c08a
- rename Constant to ConcreteVal · 055a923b
  Marek Chalupa authored Nov 10, 2020
  055a923b
- Chage Type -> IntType · e210a6f8
  Marek Chalupa authored Nov 10, 2020
  e210a6f8
- kindse: fix unbound local · 43266f3e
  Marek Chalupa authored Nov 10, 2020
  
  43266f3e
- types: fix setting pointer bitwidth · 5212b349
  Marek Chalupa authored Nov 10, 2020
  
  5212b349
- llvm parser: correctly coerce types for GEP shift · 2c53b53f
  Marek Chalupa authored Nov 10, 2020
  
  2c53b53f
- domains concrete: fix UDiv · 72b93960
  Marek Chalupa authored Nov 10, 2020
  72b93960
- sb: use setswitchinterval to suppress checking for thread switching · 24a9bf5f
  Marek Chalupa authored Nov 10, 2020
  24a9bf5f
- kindse: fix detecting killed paths · 266fcefb
  Marek Chalupa authored Nov 10, 2020
  266fcefb