Verified Commit 5a72b0d9 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Verifpal 0.18.1

parent 96dc3843
Pipeline #681 passed with stages
in 4 minutes and 28 seconds
Verifpal 0.18.0 removes some misguided "optimizations" to Verifpal's analysis that reduced analysis time but which also led to some missed attacks. As a result, analysis time is now significantly greater.
Verifpal 0.18.1 brings more accurate attack traces.
......@@ -22,7 +22,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var version = "0.18.0"
var version = "0.18.1"
var rootCmd = &cobra.Command{
Use: "verifpal",
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment