Commits · 082056c4933c235c73c4e35077cbcdf220214d90 · Marek Chalupa / slowbeast

Browse files

Oct 26, 2020
- symexe: implement StatesSet · 082056c4
  Marek Chalupa authored Oct 26, 2020
  082056c4
- annotations: move unify_annotations to statedescription.py · 86bcf5f3
  Marek Chalupa authored Oct 26, 2020
  86bcf5f3
- program: fix dumping to the stream · abc87fad
  Marek Chalupa authored Oct 26, 2020
  abc87fad
- Fix some other fixme · aa4dc281
  Marek Chalupa authored Oct 26, 2020
  
  aa4dc281
- bblock: fix a fixme · 24c89b18
  Marek Chalupa authored Oct 26, 2020
  
  24c89b18
- llvm parser: fix parsing 0-sized globals · 05ff1323
  Marek Chalupa authored Oct 26, 2020
  
  05ff1323
- make: add "fixme" target · a959a7c9
  Marek Chalupa authored Oct 26, 2020
  a959a7c9
- add pylintrc · 0a1b801d
  Marek Chalupa authored Oct 26, 2020
  
  0a1b801d
- Fix more errors/warnings/suggestions from pylint · d343adc0
  Marek Chalupa authored Oct 26, 2020
  
  d343adc0
- Fix a number of issues from pylint · 5b6de4c5
  Marek Chalupa authored Oct 26, 2020
  
  5b6de4c5
- reformat the code using black and autopep · b3e3ee6e
  Marek Chalupa authored Oct 26, 2020
  
  b3e3ee6e
Oct 23, 2020
- expressions: add transformations to CNF · f570844a
  Marek Chalupa authored Oct 23, 2020
  f570844a
- autopep the code · 0285dbf7
  Marek Chalupa authored Oct 23, 2020
  
  0285dbf7
Oct 14, 2020
- kindse: rename method · f3f7d538
  Marek Chalupa authored Oct 14, 2020
  
  f3f7d538
- kindse: first strengthen w.r.t safe states and then inductively · 4fcad229
  Marek Chalupa authored Oct 14, 2020
  
  4fcad229
- kindse: strengthen twice once inductively and once to safe states · 94b57eab
  Marek Chalupa authored Oct 14, 2020
  
  94b57eab
Oct 13, 2020
- annotations: fix some problems after refactoring · f93b57a2
  Marek Chalupa authored Oct 13, 2020
  
  f93b57a2
- kindse.py: some formatting changes · 720ffb47
  Marek Chalupa authored Oct 13, 2020
  
  720ffb47
- annotations: fix indentation · f0488f35
  Marek Chalupa authored Oct 13, 2020
  f0488f35
- kindse relations: remove unused code · 8c3831be
  Marek Chalupa authored Oct 13, 2020
  
  8c3831be
- autopep the code · 0e4614f8
  Marek Chalupa authored Oct 13, 2020
  
  0e4614f8
- Refactor annotations · c30a0a69
  Marek Chalupa authored Oct 13, 2020
  
  c30a0a69
- Implement add_annotations · da25624e
  Marek Chalupa authored Oct 13, 2020
  
  da25624e
- solver: retrive model values also for expressions for which z3 model has · da50942a
  Marek Chalupa authored Oct 13, 2020
  da50942a
- kindse: dump debugging files · f9da2d4e
  Marek Chalupa authored Oct 13, 2020
  f9da2d4e
- kindse: run only on reachable functions · ffb4333f
  Marek Chalupa authored Oct 13, 2020
  
  ffb4333f
- Adjust dumping program elements · 67339b94
  Marek Chalupa authored Oct 13, 2020
  
  67339b94
- Replace testgen by output handler · c63fc48b
  Marek Chalupa authored Oct 13, 2020
  c63fc48b
- add a missing import · e98baaa1
  Marek Chalupa authored Oct 13, 2020
  
  e98baaa1
Oct 12, 2020
- kindse: fix for termination in Symbiotic · ce7f3f3d
  Marek Chalupa authored Oct 12, 2020
  ce7f3f3d
- Allow splitting calls around calls · 37b9ecf7
  Marek Chalupa authored Oct 12, 2020
  37b9ecf7
- Start implementing interprocedural analysis · 4ed5d9f9
  Marek Chalupa authored Oct 12, 2020
  4ed5d9f9
- llvmparser: add a missing import · ad4fa993
  Marek Chalupa authored Oct 12, 2020
  
  ad4fa993
- llvm parser: move helper functions into utils.py · 28e16727
  Marek Chalupa authored Oct 12, 2020
  
  28e16727
- llvm: refactor handling special functions · dd49d560
  Marek Chalupa authored Oct 12, 2020
  dd49d560
- Move the LLVM parser into a subdirectory · 374b40cb
  Marek Chalupa authored Oct 12, 2020
  
  374b40cb
- Fix several typos · 8682b5bc
  Marek Chalupa authored Oct 12, 2020
  
  8682b5bc
Oct 11, 2020
- kindse: report killed states on initial paths · 750fce6a
  Marek Chalupa authored Oct 11, 2020
  
  750fce6a
- kindse: aestetics changes · 8e169a41
  Marek Chalupa authored Oct 11, 2020
  
  8e169a41
- kindse: fall-back to unwinding on a problem · 80403cd5
  Marek Chalupa authored Oct 11, 2020
  
  80403cd5