[Verifpal] Verifpal 0.7.5

[Nadim Kobeissi]

Hello everyone,
Verifpal 0.7.5 is now available.

Change Log

  - Fixes to analysis logic.
  - Compiled with Go 1.13.3.

Release Notes

  Verifpal 0.7.5 fixes three analysis bugs that could lead to missed attacks, so make sure you update! Also, Verifpal 0.7.4 was not announced on the mailing list because the only change was updating to Go 1.13.2 due to security fixes in the Go runtime and standard libraries and no changes in Verifpal itself.

Commits Since Previous Release

  - https://source.symbolic.software/verifpal/verifpal/commit/7a7b20376add7e677de5f4c5f5fe05f3acf04420
  - https://source.symbolic.software/verifpal/verifpal/commit/3a01c6105e26cc3e1c30aa9bcdde6923487e5279
  - https://source.symbolic.software/verifpal/verifpal/commit/a32d3e1682ba1c0fc52aed04fd4d13f4aeb7255a

Installing and Updating Verifpal

  - If you’re fine with running arbitrary scripts in your terminal, you can instantly update like this:
      - bash -c 'curl -sL https://verifpal.com/install|bash'
  - Or you can download a pre-compiled binary here:
      - https://source.symbolic.software/verifpal/verifpal/releases

Looking forward to hearing from you all!

Nadim Kobeissi
Symbolic Software • https://symbolic.software