Commits · a72fb792873ce7e9e322f78c0fbc9360ff75e33d · Open Source Software / SMPStaticAnalyzer · GitLab

Snippets Groups Projects

Sep 24, 2020
- Begin identifying C/C++ loop continue statement code patterns for SPARK translation. · a72fb792
  Clark Coleman authored 4 years ago
  
  a72fb792
Sep 21, 2020
- SPARK: Translate code after conditional in guarded loop that is being skipped. · fe95d5b7
  Clark Coleman authored 4 years ago
  
  fe95d5b7
Sep 20, 2020
- SPARK: Handle INDIR_CALL at end of block. · de194b62
  Clark Coleman authored 4 years ago
  
  de194b62
Sep 18, 2020
- Handle COND_BRANCH on sign bit values in SPARK translation. · f26743c4
  Clark Coleman authored 4 years ago
  
  f26743c4
Sep 14, 2020
- SPARK translation for signed compare followed by unsigned conditional branch. · d2c4c1b0
  Clark Coleman authored 4 years ago
  
  d2c4c1b0
Sep 13, 2020
- SPARK translation improvements and crash fixes. · 9703e483
  Clark Coleman authored 4 years ago
  
  9703e483
Sep 10, 2020
- Use STATICMEMREAD info annotations instead of lumping reads in with STATICMEMWRITE. · d387dcf8
  Clark Coleman authored 4 years ago
  
  d387dcf8
Sep 08, 2020
- SPARK Ada translation fixes. · dca4d9d8
  Clark Coleman authored 4 years ago
  
  dca4d9d8
Aug 29, 2020
- SPARK crash fixes for sks and mplayer binaries. · 63eb0fec
  Clark Coleman authored 4 years ago
  
  63eb0fec
Aug 28, 2020
- More fixes for SPARK translation crashes on large files. · c25a6c28
  Clark Coleman authored 4 years ago
  
  c25a6c28
Aug 25, 2020
- SPARK crash fixes. · 27f3de54
  Clark Coleman authored 4 years ago
  
  27f3de54
Aug 24, 2020
- Fix firefox crash on SPARK output. · d63ed4c9
  Clark Coleman authored 4 years ago
  
  d63ed4c9
- Crash fix: Handle COND_BRANCH back to entry of function in finding stack adjustments. · f98f20a1
  Clark Coleman authored 4 years ago
  
  f98f20a1
Aug 23, 2020
- Fix crashes on SPARK translation of large binaries. · 56dbd452
  Clark Coleman authored 4 years ago
  
  56dbd452
May 15, 2020
- Submodule updated automatically on mega-techx36 at Fri May 15 01:30:02 UTC 2020 · 5af992d0
  gitlab-runner@zephyr-software.com authored 4 years ago
  
  5af992d0
Apr 29, 2020
- Submodule updated automatically on mega-techx36 at Wed Apr 29 01:30:13 UTC 2020 · 5ce14019
  gitlab-runner@zephyr-software.com authored 4 years ago
  
  5ce14019
Jan 30, 2020
- Improve debugging output. · c03d6eac
  Clark Coleman authored 5 years ago
  
  c03d6eac
Jan 14, 2020
- Add dot CFG output; add debugging output; fix for stack pointer analysis on recursive functions. · 3845aaa3
  Clark Coleman authored 5 years ago
  
  3845aaa3
Dec 17, 2019
- Use IDA Pro is_dll() method as preferred way to detect shared objects. · 7c8ad0ee
  Clark Coleman authored 5 years ago
  
  7c8ad0ee
Dec 13, 2019
- Don't try to find code addresses in shared data for shared objects, DLLs and... · 1937bc5a
  Clark Coleman authored 5 years ago
  
  Don't try to find code addresses in shared data for shared objects, DLLs and archives for STARS/IDA Pro.
  1937bc5a
Dec 10, 2019
- Fixes for stack pointer analysis corner cases. · 64f75879
  Clark Coleman authored 5 years ago
  
  64f75879
Dec 09, 2019
- submod · e19950c4
  Jason Hiser authored 5 years ago
  
  e19950c4
Dec 07, 2019
- Submodule updated automatically on gitlabrunnerbionic at Sat Dec 7 01:30:27 UTC 2019 · 4f6e88c2
  gitlab-runner authored 5 years ago
  
  4f6e88c2
Dec 05, 2019
- Submodule updated automatically on feralvm-ubuntu18-x64 at Thu Dec 5 09:42:08 EST 2019 · bbdd7856
  Jason Hiser authored 5 years ago
  
  bbdd7856
- Submodule updated automatically on gitlabrunnerbionic at Thu Dec 5 01:30:16 UTC 2019 · 1d9244e7
  gitlab-runner authored 5 years ago
  
  1d9244e7
Dec 04, 2019
- Submodule updated automatically on gitlabrunnerbionic at Wed Dec 4 01:30:36 UTC 2019 · 0ce39b5c
  gitlab-runner authored 5 years ago
  
  0ce39b5c
Dec 03, 2019
- Submodule updated automatically on gitlabrunnerbionic at Tue Dec 3 01:30:12 UTC 2019 · a5664898
  gitlab-runner authored 5 years ago
  
  a5664898
Oct 24, 2019
- updates for initial mips support · 8c405f65
  Jason Hiser authored 5 years ago
  
  8c405f65
Oct 09, 2019
- Submodule updated automatically on gitlabrunnerbionic at Wed Oct 9 01:30:03 UTC 2019 · 99ca54f0
  gitlab-runner authored 5 years ago
  
  99ca54f0
Oct 03, 2019
- Submodule updated automatically on gitlabrunnerbionic at Thu Oct 3 01:30:03 UTC 2019 · b6c558af
  gitlab-runner authored 5 years ago
  
  b6c558af
Oct 02, 2019
- Submodule updated automatically on gitlabrunnerbionic at Wed Oct 2 01:30:02 UTC 2019 · 28df9486
  gitlab-runner authored 5 years ago
  
  28df9486
Oct 01, 2019
- updated cicd testing to see if we can avoid odd .git corruption failure. ... · 37f215b1
  Jason Hiser authored 5 years ago
  
  updated cicd testing to see if we can avoid odd .git corruption failure. minor refactoring of a test
  37f215b1
- Submodule updated automatically on gitlabrunnerbionic at Tue Oct 1 01:30:02 UTC 2019 · 5daf1c83
  gitlab-runner authored 5 years ago
  
  5daf1c83
Sep 19, 2019
- Submodule updated automatically on gitlabrunnerbionic at Thu Sep 19 01:30:03 UTC 2019 · e7ad2917
  gitlab-runner authored 5 years ago
  
  e7ad2917
Sep 18, 2019
- Submodule updated automatically on gitlabrunnerbionic at Wed Sep 18 01:30:03 UTC 2019 · 7a62a5b7
  gitlab-runner authored 5 years ago
  
  7a62a5b7
Sep 17, 2019
- Submodule updated automatically on feralvm-ubuntu18-x64 at Tue Sep 17 10:49:11 EDT 2019 · 1e62fa0b
  Jason Hiser authored 5 years ago
  
  1e62fa0b
- Submodule updated automatically on gitlabrunnerbionic at Tue Sep 17 01:30:03 UTC 2019 · e53a674c
  gitlab-runner authored 5 years ago
  
  e53a674c
Sep 14, 2019
- Submodule updated automatically on gitlabrunnerbionic at Sat Sep 14 01:30:03 UTC 2019 · 446564f3
  gitlab-runner authored 5 years ago
  
  446564f3
Sep 13, 2019
- Submodule updated automatically on gitlabrunnerbionic at Fri Sep 13 01:30:03 UTC 2019 · 402d75c2
  gitlab-runner authored 5 years ago
  
  402d75c2
Sep 06, 2019
- submod · cc2f3115
  Jason Hiser authored 5 years ago
  
  cc2f3115