search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.66k stars 470 forks source link

workflows/pip-audit: change gh-action-pip-audit slug to pypa #2585

Closed woodruffw closed 1 year ago

woodruffw commented 1 year ago

Signed-off-by: William Woodruff william@trailofbits.com