facebook/pyre-check

Performant type-checking for python.

abstract-interpretationcode-qualitycontrol-flow-analysisocamlprogram-analysispythonsecuritystatic-analysistaint-analysistype-check

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 3 months ago. Archived: read-only, no further updates.

	Repository	Stars	Language	License	Activity
1	mitmproxy/mitmproxyAn interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.	★ 45.7k	Python	MIT	Active
2	wifiphisher/wifiphisherThe Rogue Access Point Framework	★ 14.9k	Python	GPL-3.0	Slowing
3	jofpin/trapePeople tracker on the Internet: OSINT analysis and research tool by Jose Pino	★ 9.1k	Python	—	Stale
4	securego/gosecGo security checker	★ 9k	Go	Apache-2.0	Active
5	stamparm/maltrailMalicious traffic detection system	★ 8.6k	Python	MIT	Active
6	PyCQA/banditBandit is a tool designed to find common security issues in Python code.	★ 8.3k	Python	Apache-2.0	Active
7	linkedin/school-of-sreAt LinkedIn, we are using this curriculum for onboarding our entry-level talents into the SRE role.	★ 8.2k	HTML	Other	Slowing
8	presidentbeef/brakemanA static analysis security vulnerability scanner for Ruby on Rails applications	★ 7.3k	Ruby	Other	Active