[Verifpal] [ANNOUNCE] Verifpal v0.13.5

Symbolic Software Drone drone at drone.symbolic.software
Tue May 19 20:36:16 CEST 2020


Verifpal v0.13.5 is now available. Verifpal updates bring new features, performance improvements and/or bug fixes.

Verifpal 0.13.5 introduces many important fixes:

- A class of missed attacks has been resolved. See the discussion here: https://lists.symbolic.software/pipermail/verifpal/2020/000250.html

- In many cases, Verifpal's analysis speed has been sped up significantly. For example, Verifpal's integration test suite now finishes in roughly half the time compared to before.

- Verifpal's analysis output is now significantly improved. For example, Verifpal now mentions which output of a primitive was recovered by the attacker.

- Some minor fixes.

Check out the list of changes in Verifpal v0.13.5, and download pre-compiled binary builds, here:

Pre-compiled builds are provided for Windows, Linux, macOS and FreeBSD in x86, amd64 and arm64 variants.

If you have installed Verifpal via the Scoop package manager for Windows, simply run the following commands to update to Verifpal v0.13.5:
scoop update
scoop update verifpal

If you have installed Verifpal via the Homebrew package manager on Linux and macOS, simply run the following commands to update to Verifpal v0.13.5:
brew update
brew upgrade verifpal

On Linux, Verifpal is also available via the Snap Store: https://snapcraft.io/verifpal

To receive more information about Verifpal, please visit https://verifpal.com.

Thank you,
Symbolic Software Drone

More information about the Verifpal mailing list