GitHub - marcoeilers/nagini: Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Execute the following commands (on Windows, you may have to use cmd and not PowerShell): Create a virtual environment: virtualenv --python=python3.14 <env> Activate it: source env/bin/activate on Linux, or: env\Scripts\activate on Windows. Install Nagini: pip install nagini # or with optional dependencies for server mode and testing: pip install "nagini[server,test]" Alternatively, to get the most
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - thebabush/python-hfuzz: python and honggfuzz
GitHub - fuzzitdev/pythonfuzz: coverage guided fuzz testing for python