klara
pyt
Our great sponsors
klara | pyt | |
---|---|---|
6 | 2 | |
257 | 2,161 | |
- | 0.3% | |
0.0 | 0.0 | |
about 2 years ago | over 3 years ago | |
Python | Python | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
klara
-
Klara: Python automatic test generations and static analysis library
Klara is an automatic python unit test generation tool based on SMT (z3) solver. It's currently in early stage and still have many limitation (looping, comprehension, importing is not supported to name a few).
- Klara - python automatic test generations and static analysis library
- Klara – Python automatic test generations and static analysis library
- Show HN: Klara – Python automatic test generations and static analysis library
pyt
- python-security/pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
-
Security Audit of 3rd Party Packages
https://github.com/python-security/pyt (no longer maintained, but still works).
What are some alternatives?
pynguin - The PYthoN General UnIt Test geNerator is a test-generation tool for Python
bap - Binary Analysis Platform
Valheim-Server-Web-GUI - This is a web GUI that can live on top of a Valheim server, giving you a web interface for controlling some of the basic functions of managing a server. This is database-less, no SQL required. Can publicly show mods, lets you edit your CFG files via a web interface, can show your world seed ID (publicly or not), can start/stop/restart valheimserver.service and can download your .db and .fwl files.
aura - Python source code auditing and static analysis on a large scale
ssabook - Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
pycg - Static Python call graph generator
CrossHair - An analysis tool for Python that blurs the line between testing and type systems.
fxpmath - A python library for fractional fixed-point (base 2) arithmetic and binary manipulation with Numpy compatibility.
astroid - A common base representation of python source code for pylint and other projects
manticore - Symbolic execution tool
asteval - minimalistic evaluator of python expression using ast module
semgrep-rules - Semgrep rules registry