Commits · master · mihai.herda / keyjoana · GitLab

07 Dec, 2019 1 commit
- Update README.md · b4059e73
  mihai.herda authored Dec 07, 2019
  
  b4059e73
26 Nov, 2019 8 commits
- Update README.md · aed37464
  michael.kirsten authored Nov 26, 2019
  
  aed37464
- fix index out of bounds exception · d766206d
  Joachim Müssig authored Nov 26, 2019
  
  d766206d
- merge with herdaDev · 32f3082d
  Joachim Müssig authored Nov 26, 2019
  
  32f3082d
- add FalsePositiveExamples · b7331c3c
  Joachim Müssig authored Nov 26, 2019
  
  b7331c3c
- move tests · 4553cad4
  Joachim Müssig authored Nov 26, 2019
  
  4553cad4
- remove import (cannot resolve unused import) · f2d89478
  Joachim Müssig authored Nov 26, 2019
  
  f2d89478
- add swp files to gitignore · a12e800d
  Joachim Müssig authored Nov 26, 2019
  
  a12e800d
- Add some dependencies for test cases · 8706fb79
  Joachim Müssig authored Nov 26, 2019
  
  8706fb79
25 Nov, 2019 7 commits
- Add runnable jars for spec gui and main application · 6df7be2a
  Joachim Müssig authored Nov 25, 2019
  
  6df7be2a
- add old joana api dependencies · caebeb50
  Joachim Müssig authored Nov 25, 2019
  
  caebeb50
- use ClassLoader to get JAVALANG.txt resource instead of FileInputStream · f07f951a
  Joachim Müssig authored Nov 25, 2019
  
  f07f951a
- add some jUnit tests and the corresponding data · 55e3f655
  Joachim Müssig authored Nov 25, 2019
  
  55e3f655
- add secure example with interfaces · b736eaae
  Joachim Müssig authored Nov 25, 2019
  
  b736eaae
- create newest version of false positiv example 'ifloop2' and 'lostInCast' · c008fbd2
  Joachim Müssig authored Nov 25, 2019
  
  c008fbd2
- Fix bug for static methods without parameters (set of formal in nodes are empty) · 42ea5499
  Joachim Müssig authored Nov 25, 2019
  
  42ea5499
22 Nov, 2019 19 commits
- add example exceptionalControlFlowNoLeak2 · 4232a5fc
  Joachim Müssig authored Nov 22, 2019
  
  4232a5fc
- add two insecure examples · a8b038ab
  Joachim Müssig authored Nov 22, 2019
  
  a8b038ab
- create newest version of false positiv example 'precondition' and 'singleFlow' · 584aadd2
  Joachim Müssig authored Nov 22, 2019
  
  584aadd2
- create newest version of false positiv example 'plusminusMulti' · f4852f80
  Joachim Müssig authored Nov 22, 2019
  
  f4852f80
- create newest version of false positiv example 'plusminus' · 1761487e
  Joachim Müssig authored Nov 22, 2019
  
  1761487e
- create newest version of false positiv example 'nested' · fadac632
  Joachim Müssig authored Nov 22, 2019
  
  fadac632
- create newest version of false positiv example 'mixtureLoops' · 76480379
  Joachim Müssig authored Nov 22, 2019
  
  76480379
- create newest version of false positiv example 'mixture' · 50f4c070
  Joachim Müssig authored Nov 22, 2019
  
  50f4c070
- create newest version of false positiv example 'loop' · 2256ebb4
  Joachim Müssig authored Nov 22, 2019
  
  2256ebb4
- create OCnewest version of false positiv examples 'excluding' · 4fff3159
  Joachim Müssig authored Nov 22, 2019
  
  4fff3159
- Add Hint for joak files · 3b1edd50
  Joachim Müssig authored Nov 22, 2019
  
  3b1edd50
- create newest version of false positiv examples 'excluding' · 1c7a655c
  Joachim Müssig authored Nov 22, 2019
  
  1c7a655c
- create newest version of false positiv examples · 5f94a7d1
  Joachim Müssig authored Nov 22, 2019
  
  5f94a7d1
- clear up code, javadoc · 8fefd96b
  Joachim Müssig authored Nov 22, 2019
  
  8fefd96b
- clear up code, javadoc · 505ee23e
  Joachim Müssig authored Nov 22, 2019
  
  505ee23e
- clear up code, javadoc · 593fe1a9
  Joachim Müssig authored Nov 22, 2019
  
  593fe1a9
- clear up code, javadoc · 16bd0497
  Joachim Müssig authored Nov 22, 2019
  
  16bd0497
- clear up code, javadoc · 7e591a76
  Joachim Müssig authored Nov 22, 2019
  
  7e591a76
- clear up code, javadoc · 9fddb767
  Joachim Müssig authored Nov 22, 2019
  
  9fddb767
21 Nov, 2019 3 commits
- clear up code, javadoc · 979b9413
  Joachim Müssig authored Nov 21, 2019
  
  979b9413
- clear up code, javadoc · da14fc5e
  Joachim Müssig authored Nov 21, 2019
  
  da14fc5e
- clear up code, javadoc · a146dc5b
  Joachim Müssig authored Nov 21, 2019
  
  a146dc5b
20 Nov, 2019 2 commits
- clear up code, javadoc · ed2a3ac2
  Joachim Müssig authored Nov 20, 2019
  
  ed2a3ac2
- code clear up, javadoc · fb230341
  Joachim Müssig authored Nov 20, 2019
  
  fb230341