[Verifpal] Verifpal 0.6.9

Nadim Kobeissi nadim at symbolic.software
Sun Sep 22 00:30:58 CEST 2019

Further testing reveals that missed attacks are still a thing, even if less so than before.

The causes for all missed attacks are known, and none of them are caused by bugs in Verifpal, just incomplete analysis coverage. This is very good news, despite the annoying current shortcomings.

Working on improving things.

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

> On Sep 21, 2019, at 4:53 PM, Nadim Kobeissi <nadim at symbolic.software> wrote:
> Hello everyone,
> Verifpal 0.6.9 is now available.
> Change Log
>  - Build upon the refactoring made in 0.6.8, with a focus on addressing missed attacks.
> Release Notes
>  - This is the version of Verifpal that I am the most confident in. Could we finally be climbing out of highly experimental alpha phase? I’m starting to think so!
> 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

More information about the Verifpal mailing list