Tags give the ability to mark specific points in history as being important
  • v0.19.1   Verifpal 0.19.1 Verifpal 0.19.1 eliminates some false attacks that could appear with authentication queries and improves sanity checks made on query preconditions.
    27755c78 · Verifpal 0.19.1 ·
    Release v0.19.1

    Changelog

    f46205bf Brew formula update for verifpal version v0.19.0
    e3c3c90b Cleanup sanity validation for queries
    d7fbdd99 Cleanup sanity validation for queries
    bcefa459 Improve resolutions to remove false attacks
    8be42d4a Scoop update for verifpal version v0.19.0
    27755c78 Verifpal 0.19.1

  • v0.19.0   Verifpal 0.19.0 Verifpal 0.19.0 modifies the behavior of freshness queries. Now, freshness queries will check if a value is ever *used* while non-fresh, and not simply contradict the query if a value can ever *be* non-fresh. This is based on discussions with Eric Simpson. An example model in examples/test/replay-simple.vp is provided to illustrate how this is supposed to work. Verifpal 0.19.0 also fixes a problem that caused VerifHub submissions not to be possible if Verifpal was installed via Snapcraft, thanks to a patch submitted by Eric Simpson. Finally, Verifpal 0.19.0 binaries are built using Go 1.15 (with the exception of Snapcraft binaries).
    Release v0.19.0

    Changelog

    27b2af68 Brew formula update for verifpal version v0.18.1
    2775a777 Modify behavior of freshness queries
    ced150c5 Remove deprecated Golang target
    b74882a6 Scoop update for verifpal version v0.18.1
    8b608efa Submit patch from Eric Simpson allow xdg-open permission in snapcraft.yaml
    1ac47b0e Verifpal 0.19.0

  • v0.18.1   Verifpal 0.18.1 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.
    5a72b0d9 · Verifpal 0.18.1 ·
    Release v0.18.1

    Changelog

    221f8a2b Brew formula update for verifpal version v0.18.0
    96dc3843 More accurate attack traces
    54488647 Scoop update for verifpal version v0.18.0
    5a72b0d9 Verifpal 0.18.1

  • v0.18.0   Verifpal 0.18.0 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.
    b6a81388 · Verifpal 0.18.0 ·
    Release v0.18.0

    Changelog

    98d325de Add exa2.vp test
    815bc0a6 Brew formula update for verifpal version v0.17.8
    844c273c Fix typo
    28b0b42b Remove bad optimization which caused exa2.vp test to fail
    fe765e21 Remove similarly uncertain optimizations
    070875e4 Scoop update for verifpal version v0.17.8
    b6a81388 Verifpal 0.18.0

  • v0.17.8   Verifpal 0.17.8 Verifpal 0.17.8 brings minor bug fixes and improvements.
    99b98d26 · Verifpal 0.17.8 ·
    Release v0.17.8

    Changelog

    d7d586aa Brew formula update for verifpal version v0.17.7
    dae11c47 Cordon off Go translation until ready
    9fc55975 Don't export everything
    10f0a389 Go translation WIP
    7087f432 Make linter happy
    fd687f5c Make linter happy
    672c4220 Minor fixes and cleanup
    e8baab21 Scoop update for verifpal version v0.17.7
    99b98d26 Verifpal 0.17.8

  • v0.17.7   Verifpal 0.17.7 Verifpal 0.17.7 brings minor bug fixes.
    1a705e8d · Verifpal 0.17.7 ·
    Release v0.17.7

    Changelog

    92b6c6e1 Brew formula update for verifpal version v0.17.6
    432dd5c2 Minor cleanup
    dd0d84cc Scoop update for verifpal version v0.17.6
    9628be37 Small improvement to results output
    1a705e8d Verifpal 0.17.7

  • v0.17.6   Verifpal 0.17.6 Verifpal 0.17.6 brings big improvements to the way Verifpal describes query results. Failed queries now show a lot more information on how the attack was possible.
    eb589174 · Verifpal 0.17.6 ·
    Release v0.17.6

    Changelog

    9b98a547 Add comments documenting exported functions and one extra test
    aec28468 Add space
    cb8c9cef Brew formula update for verifpal version v0.17.5
    50c97f6f Further improve query results summary
    13fbcab9 Improved attack traces/summaries output
    7e815027 More improvements to attack results display
    52cf2e7f More meaningful attack summary
    67ad374a Remove unnecessary Sprintf
    7b9ae978 Scoop update for verifpal version v0.17.5
    eb589174 Verifpal 0.17.6

  • v0.17.5   Verifpal 0.17.5 Verifpal 0.17.5 fixes a bug in Verifpal analysis logic reported by Bruno Blanchet.
    1e47afba · Verifpal 0.17.5 ·
    Release v0.17.5

    Changelog

    5dddaa17 Analysis tweaks and fixes
    1613a48c Analysis tweaks and fixes
    6e225e2c Brew formula update for verifpal version v0.17.4
    5475be47 Bug fixes
    ea3b71e2 Reinsert goroutine
    7d1e8362 Relax skeleton rules
    ec983f91 Scoop update for verifpal version v0.17.4
    1e47afba Verifpal 0.17.5

  • v0.17.4   Verifpal 0.17.4 Verifpal 0.17.4 fixes a bug in Verifpal analysis logic reported by Bruno Blanchet.
    6df3e4cb · Verifpal 0.17.4 ·
    Release v0.17.4

    Changelog

    9cd842ee Add FFGG test
    53165d26 Analysis bug fix
    c7b9153d Analysis bug fix
    72e2d2ef Brew formula update for verifpal version v0.17.3
    27f348b5 Scoop update for verifpal version v0.17.3
    6df3e4cb Verifpal 0.17.4

  • v0.17.3   Verifpal 0.17.3 Verifpal 0.17.3 brings performance and speed improvements to Verifpal analysis.
    e310c706 · Verifpal 0.17.3 ·
    Release v0.17.3

    Changelog

    855cdb41 Brew formula update for verifpal version v0.17.2
    e12af748 Concurrent mutation map generation
    4b0854c7 Concurrent mutation map generation
    5b7b4467 Equivalizing info
    37b9c81b Scoop update for verifpal version v0.17.2
    e310c706 Verifpal 0.17.3

  • v0.17.2   Verifpal 0.17.2 Verifpal 0.17.2 brings performance and speed improvements to Verifpal analysis.
    bb491831 · Verifpal 0.17.2 ·
    Release v0.17.2

    Changelog

    0655f863 Brew formula update for verifpal version v0.17.1
    ca76f3a4 Minor optimization
    2f2edb8e Remove unnecessary loops
    e5f0cac8 Scoop update for verifpal version v0.17.1
    61f35590 Variable injection depth relative to stages
    0ae60f98 Variable injection depth relative to stages
    bb491831 Verifpal 0.17.2

  • v0.17.1   Verifpal 0.17.1 Verifpal 0.17.1 brings performance and speed improvements to Verifpal analysis.
    e622582e · Verifpal 0.17.1 ·
    Release v0.17.1

    Changelog

    86a73f95 Add extra goroutine
    68a83e10 Add extra goroutine
    be08c529 Brew formula update for verifpal version v0.17.0
    ff0df587 Experimentation with reinitializating mutation map
    1a874b46 Experimentation with reinitializating mutation map on each learned value
    f942cef1 Scoop update for verifpal version v0.17.0
    e622582e Verifpal 0.17.1

  • v0.17.0   Verifpal 0.17.0 Verifpal 0.17.0 brings improvements to analysis that depends on interleaving sessions.
    310c3bdb · Verifpal 0.17.0 ·
    Release v0.17.0

    Changelog

    684e83aa Add test4.vp
    674c5b0c Additional test
    ae6b83af Analysis logic improvements
    a77e3d51 Brew formula update for verifpal version v0.15.6
    d9aef1e5 Don't drop state if not my failed checked primitive rewrite
    63e8f0d1 Scoop update for verifpal version v0.15.6
    310c3bdb Verifpal 0.17.0

  • v0.15.6   Verifpal 0.15.6 Verifpal 0.15.6 continues the analysis performance improvements bonanza of the past few days. Consider donating to offset the ridiculous Google Compute Engine bill for the 96-CPU machine that was rented to perform the tests that are leading to this series of improvement updates.
    e72014bd · Verifpal 0.15.6 ·
    Release v0.15.6

    Changelog

    3fde6cec Add commented-out tests
    62e54386 Add model that takes a long time
    356db4c8 Add simpler Scuttlebutt model
    7972ed78 Brew formula update for verifpal version v0.15.5
    5d04651b Minor optimization
    e0e5fd79 Minor optimization
    3ad67ff6 Minor refactoring
    7f3a99cf Performance improvements
    b00dc246 Remove copy of signal_small
    5c7419a8 Remove unneccesary nil from Signal models
    9a6d4818 Scoop update for verifpal version v0.15.5
    e72014bd Verifpal 0.15.6

  • v0.15.5   Verifpal 0.15.5 Verifpal 0.15.5 brings further improvements and optimizations to analysis logic.
    b782a8f3 · Verifpal 0.15.5 ·
    Release v0.15.5

    Changelog

    da5bbdb7 Brew formula update for verifpal version v0.15.4
    2c069928 Scoop update for verifpal version v0.15.4
    8a853bdf Smarter skeletons
    b782a8f3 Verifpal 0.15.5

  • v0.15.4   Verifpal 0.15.4 Verifpal 0.15.4 contains some minor performance improvements.
    c660b2b4 · Verifpal 0.15.4 ·
    Release v0.15.4

    Changelog

    052ad6e3 Brew formula update for verifpal version v0.15.3
    7e440964 Don't reconstruct core primitives into attackerState
    caef3444 Scoop update for verifpal version v0.15.3
    c660b2b4 Verifpal 0.15.4

  • v0.15.3   Verifpal 0.15.3 Verifpal 0.15.3 contains some minor performance improvements.
    dd8db7bb · Verifpal 0.15.3 ·
    Release v0.15.3

    Changelog

    493418bc Brew formula update for verifpal version v0.15.2
    5b018d2f Don't invent a new value on ASSERT pass
    9e5e184f Minor optimization
    08b065ab Remove constants from signal model
    42fd84bc Scoop update for verifpal version v0.15.2
    dd8db7bb Verifpal 0.15.3

  • v0.15.2   Verifpal 0.15.2 Verifpal 0.15.2 is the result of a large amount of testing dedicated to allowing the Go runtime to manage stack allocations optimally for very large Verifpal models.
    ec173291 · Verifpal 0.15.2 ·
    Release v0.15.2

    Changelog

    23429bf3 Brew formula update for verifpal version v0.15.1
    aaba095d Reinstate two goroutine spawning points
    874776f5 Scoop update for verifpal version v0.15.1
    b26c6818 Show flags in CLI help
    ec173291 Verifpal 0.15.2

  • v0.15.1   Verifpal 0.15.1 Verifpal 0.15.1 fixes an infinite recursion bug in Verifpal analysis.
    0916941a · Verifpal 0.15.1 ·
    Release v0.15.1

    Changelog

    a595f8d4 Brew formula update for verifpal version v0.15.0
    33722391 Fix Windows build script
    0a60cd0b Increase maximum stack size
    a4fac663 Print analysis count once every 500 times
    2e9fc4af Remove newline
    52f939f2 Remove stack size increase
    99205f65 Resolve attackerState
    1c328749 Restore mutationMapSkipValue type restrictions
    d904f4a3 Scoop update for verifpal version v0.15.0
    a6a9d9ff Simplify test
    0916941a Verifpal 0.15.1

  • v0.15.0   Verifpal 0.15.0 Verifpal 0.15.0 fixes even more bugs in Verifpal analysis detected by Sasha Lapiha.
    bf444ef1 · Verifpal 0.15.0 ·
    Release v0.15.0

    Changelog

    36c9ced6 Add more tests
    162d83c6 Brew formula update for verifpal version v0.14.9
    d1f1400c More bug fixes
    5410203e Scoop update for verifpal version v0.14.9
    a3f3550d Update .goreleaser.yml
    bf444ef1 Verifpal 0.15.0