1. 8
    Nagini: A Static Verifier for Python ☶ pdf formalmethods python pm.inf.ethz.ch
    ceh avatar via ceh 1 month ago | cached | 2 comments

The tool is available at https://github.com/marcoeilers/nagini

  1.  

  2. 3
    nickpsecurity avatar nickpsecurity 1 month ago | link

    Uses Viper. Paper and project page for that.

    1. 2
      aminb avatar aminb 1 month ago | link

      Had the pleasure of being introduced to and hanging out with Malte and Alex back in CAV 2016. Wonderful people who definitely know their stuff :)