David A. Wheeler

Results 4 repositories owned by David A. Wheeler

flawfinder

438
Stars
79
Forks
Watchers

a static analysis tool for finding vulnerabilities in C/C++ source code

mmverify.py

31
Stars
8
Forks
Watchers

Metamath verifier in Python

railroader

46
Stars
1
Forks
Watchers

A static analysis security vulnerability scanner for Ruby on Rails applications (OSS fork of Brakeman)

spdx-tutorial

115
Stars
14
Forks
Watchers

A brief tutorial on how to use Software Package Data Exchange (SPDX)