Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "static-analysis" keyword

pystrict3 1.0.0
Static code analyser for Python3 function calls, string interpolation and variable shadowing
16 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 96 downloads last month - 1 stars on GitHub - 1 maintainer
Top 1.2% on pypi.org
pyre-check 0.9.21
A performant type checker for Python
71 versions - Latest release: 3 days ago - 16 dependent packages - 279 dependent repositories - 81.4 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
py-mannerism 0.0.1
Test library example for pypi.
1 version - Latest release: about 3 years ago - 1 dependent repositories - 13 downloads last month - 0 stars on GitHub - 1 maintainer
pyidenticounter 0.4.0
Count the number of identifier inside your python modules (variable, function, method and class n...
5 versions - Latest release: almost 3 years ago - 1 dependent repositories - 32 downloads last month - 1 stars on GitHub - 1 maintainer
pyapron 0.6
Python API for numerical abstract domains manipulation
5 versions - Latest release: over 5 years ago - 1 dependent repositories - 16 downloads last month - 4 stars on GitHub - 1 maintainer
prisma-cloud-pipeline 0.1.5
Export Prisma Cloud container findings to a CI pipeline, and identify un-triaged findings
6 versions - Latest release: over 2 years ago - 1 dependent repositories - 3 downloads last month - 5 stars on GitHub - 1 maintainer
potator 0.1.4
Code clone detection package for python. It comes with a cli and PIP package
5 versions - Latest release: almost 3 years ago - 1 dependent repositories - 18 downloads last month - 1 stars on GitHub - 1 maintainer
phpcodesnifferbear 0.10.0
'PHPCodeSnifferBear' bear for coala (http://coala.rtfd.org/)
2 versions - Latest release: about 7 years ago - 1 dependent repositories - 24 downloads last month - 10,600 stars on GitHub - 1 maintainer
paroxython 0.7.0
Search Python code for algorithmic features
23 versions - Latest release: over 1 year ago - 1 dependent repositories - 18 downloads last month - 33 stars on GitHub - 1 maintainer
pademelon 0.2.0
Used to retrospectively add static type checking on legacy project by just running the checks on ...
2 versions - Latest release: almost 5 years ago - 1 dependent repositories - 20 downloads last month - 1 stars on GitHub - 1 maintainer
opem 1.4 💰
Open Source PEM Cell Simulation Tool
14 versions - Latest release: about 2 months ago - 1 dependent repositories - 376 downloads last month - 185 stars on GitHub - 1 maintainer
officedissector 1.0
OfficeDissector is a parser library for static security analysis of OOXML documents.
1 version - Latest release: about 9 years ago - 4 dependent repositories - 58 downloads last month - 63 stars on GitHub - 1 maintainer
Top 4.2% on pypi.org
njsscan 0.3.7 💰
njsscan is a SAST tool that can find insecure code patterns in your Node.js applications.
37 versions - Latest release: about 1 month ago - 15 dependent repositories - 52.3 thousand downloads last month - 344 stars on GitHub - 1 maintainer
chekov 2.3.273 removed
A fake typosquat malicious library of checkov, used only for testing purposes. The library suppos...
1 version - Latest release: 12 months ago - 79 downloads last month - 5,627 stars on GitHub - 2 maintainers
psgraph 2.3.199
Infrastructure as code static analysis
1 version - Latest release: about 1 year ago - 1 dependent package - 18 downloads last month - 6,557 stars on GitHub - 2 maintainers
sg-ckv 2.3.199 removed
Infrastructure as code static analysis
1 version - Latest release: about 1 year ago - 5,511 stars on GitHub
Top 9.8% on pypi.org
checkov3 0.1.13 removed
Infrastructure as code static analysis
13 versions - Latest release: 10 months ago - 82 downloads last month - 6,234 stars on GitHub - 2 maintainers
pingsafecli 2.3.204 removed
Infrastructure as code static analysis
6 versions - Latest release: about 1 year ago - 275 downloads last month - 5,579 stars on GitHub - 2 maintainers
testiac 2.3.199 removed
Infrastructure as code static analysis
1 version - Latest release: about 1 year ago - 5,511 stars on GitHub
nbsafety 0.0.87
Fearless interactivity for Jupyter notebooks.
84 versions - Latest release: almost 2 years ago - 1 dependent repositories - 408 downloads last month - 1,072 stars on GitHub - 1 maintainer
Top 7.5% on pypi.org
mobsfscan 0.3.8 💰
mobsfscan is a static analysis tool that can find insecure code patterns in your Android and iOS ...
23 versions - Latest release: about 2 months ago - 1 dependent repositories - 29.2 thousand downloads last month - 527 stars on GitHub - 1 maintainer
Top 8.2% on pypi.org
mllint 0.12.2
Software Quality Linter for Machine Learning projects
36 versions - Latest release: almost 2 years ago - 1 dependent package - 10 dependent repositories - 5.92 thousand downloads last month - 72 stars on GitHub - 1 maintainer
Top 4.8% on pypi.org
klara 0.6.3
Automatic test case generation and static analysis library
3 versions - Latest release: over 2 years ago - 1 dependent package - 10 dependent repositories - 1.27 thousand downloads last month - 257 stars on GitHub - 1 maintainer
jsonschema-typed 0.8.1
Automatic type annotations from JSON schemas
2 versions - Latest release: 6 months ago - 1 dependent repositories - 291 downloads last month - 34 stars on GitHub - 2 maintainers
inspect4py 0.0.8
Static code analysis package for Python repositories
8 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 81 downloads last month - 23 stars on GitHub - 2 maintainers
haros-plugins 1.1.5 💰
Plugin repository for HAROS.
9 versions - Latest release: almost 3 years ago - 1 dependent repositories - 61 downloads last month - 7 stars on GitHub - 1 maintainer
haros 3.10.20
Static analysis framework for ROS
65 versions - Latest release: over 2 years ago - 1 dependent repositories - 429 downloads last month - 183 stars on GitHub - 1 maintainer
hairball 0.3
Hairball is a plugin-able framework useful for static analysis of Scratch projects.
8 versions - Latest release: almost 10 years ago - 4 dependent repositories - 51 downloads last month - 26 stars on GitHub - 1 maintainer
graphpkg 1.0.4
This package is to create graphs with help of matplotlib but with some extra facilities like cust...
12 versions - Latest release: over 1 year ago - 1 dependent repositories - 26 downloads last month - 1 stars on GitHub - 1 maintainer
Top 3.3% on pypi.org
gixy 0.1.21
Nginx configuration [sec]analyzer
12 versions - Latest release: 4 months ago - 19 dependent repositories - 22.3 thousand downloads last month - 8,142 stars on GitHub - 1 maintainer
gccinvocation 0.0.1
Library for parsing GCC command-line options
2 versions - Latest release: 9 months ago - 2 dependent repositories - 10 downloads last month - 7 stars on GitHub - 1 maintainer
fsource 0.4.1
Static analysis tools for Fortran, written in pure Python
6 versions - Latest release: over 4 years ago - 1 dependent repositories - 15 downloads last month - 20 stars on GitHub - 1 maintainer
Top 9.4% on pypi.org
flint 0.0.1 💰
Fortran code analysis tool
1 version - Latest release: over 2 years ago - 28 dependent repositories - 3.11 thousand downloads last month - 18 stars on GitHub - 1 maintainer
Top 1.0% on pypi.org
flake8 7.0.0 💰
the modular source code checker: pep8 pyflakes and co
89 versions - Latest release: 4 months ago - 6,696 dependent packages - 153,063 dependent repositories - 29.6 million downloads last month - 3,267 stars on GitHub - 2 maintainers
firehose 0.0.1
Library for working with output from static code analyzers
6 versions - Latest release: 9 months ago - 9 dependent repositories - 29 downloads last month - 63 stars on GitHub - 1 maintainer
Top 3.4% on pypi.org
ethereum-dasm 0.1.5 💰
An ethereum bytecode disassembler with static and dynamic analysis features
6 versions - Latest release: almost 5 years ago - 4 dependent packages - 36 dependent repositories - 15.4 thousand downloads last month - 217 stars on GitHub - 1 maintainer
dslinter 2.0.9
`dslinter` is a pylint plugin for linting data science and machine learning code. We plan to supp...
14 versions - Latest release: almost 2 years ago - 1 dependent package - 8 dependent repositories - 559 downloads last month - 17 stars on GitHub - 5 maintainers
docster 0.1.6
Automatically extract your python docstrings into arbitrary Jinja2 templates
3 versions - Latest release: over 3 years ago - 1 dependent repositories - 11 downloads last month - 0 stars on GitHub - 1 maintainer
Top 3.2% on pypi.org
dlint 0.14.1
Dlint is a tool for encouraging best coding practices and helping ensure Python code is secure.
16 versions - Latest release: about 1 year ago - 24 dependent packages - 263 dependent repositories - 146 thousand downloads last month - 162 stars on GitHub - 3 maintainers
dependent-types 0.0.1
Dependent types for Python
2 versions - Latest release: about 4 years ago - 1 dependent repositories - 3 downloads last month - 179 stars on GitHub - 1 maintainer
codepropertygraph 0.0.8 💰
A Python implementation of a Code Property Graph.
7 versions - Latest release: over 2 years ago - 41 downloads last month - 12 stars on GitHub - 1 maintainer
Top 6.9% on pypi.org
codechecker 6.23.1
CodeChecker is an analyzer tooling, defect database and viewer extension
20 versions - Latest release: 5 months ago - 1 dependent repositories - 17.8 thousand downloads last month - 2,082 stars on GitHub - 3 maintainers
cmake-tidy 0.5.0
cmake-tidy is a tool to format/analyze cmake source files.
2 versions - Latest release: almost 4 years ago - 1 dependent repositories - 26 downloads last month - 16 stars on GitHub - 1 maintainer
clair-cicd 1.0.2
Clair CI/CD
1 version - Latest release: about 4 years ago - 1 dependent repositories - 5 downloads last month - 29 stars on GitHub - 1 maintainer
chasten 1.0.0
Chasten checks the AST of a Python program!
4 versions - Latest release: 3 months ago - 1 dependent repositories - 40 downloads last month - 7 stars on GitHub - 1 maintainer
rgrpc 2023.11.12
A simple to use Python gRPC Reflection Client
1 version - Latest release: 6 months ago - 11 downloads last month - 24,921 stars on GitHub - 2 maintainers
bugalint 4.0.0
An abstraction package for running linters on code, outputting the results in a unified format.
7 versions - Latest release: over 2 years ago - 1 dependent repositories - 39 downloads last month - 3 stars on GitHub - 1 maintainer
Top 0.4% on pypi.org
pylint 3.1.1 💰
python code static checker
186 versions - Latest release: about 4 hours ago - 2,398 dependent packages - 117,361 dependent repositories - 22.7 million downloads last month - 4,980 stars on GitHub - 9 maintainers
bonsai-code 0.6.8 💰
Static analysis library.
23 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 231 downloads last month - 15 stars on GitHub - 1 maintainer
blue-chip 0.0.9
One click Python code quality package
9 versions - Latest release: almost 2 years ago - 1 dependent repositories - 96 downloads last month - 5 stars on GitHub - 1 maintainer
Top 4.4% on pypi.org
pycg 0.0.8
PyCG - Practical Python Call Graphs
6 versions - Latest release: 6 months ago - 3 dependent packages - 9 dependent repositories - 6.23 thousand downloads last month - 288 stars on GitHub - 1 maintainer
Top 4.7% on pypi.org
bellybutton 0.3.2
Custom Python linting through AST expressions.
12 versions - Latest release: 10 months ago - 1 dependent package - 10 dependent repositories - 2.01 thousand downloads last month - 265 stars on GitHub - 1 maintainer
onecode-pycg 0.0.8
PyCG - Practical Python Call Graphs
2 versions - Latest release: 11 months ago - 1 dependent package - 1 dependent repositories - 136 downloads last month - 288 stars on GitHub - 1 maintainer
Top 8.5% on pypi.org
cfripper 1.15.6
Library and CLI tool for analysing CloudFormation templates and check them for security compliance.
93 versions - Latest release: 2 months ago - 1 dependent repositories - 27 thousand downloads last month - 388 stars on GitHub - 6 maintainers
Top 7.4% on pypi.org
pyre-check-nightly 0.0.101713006759
A performant type checker for Python
869 versions - Latest release: about 1 month ago - 3 dependent repositories - 9.47 thousand downloads last month - 6,689 stars on GitHub - 6 maintainers
slitherin 0.7.0
Pessimistic security Slither detectors
10 versions - Latest release: 6 days ago - 408 downloads last month - 333 stars on GitHub - 2 maintainers
fastapi_oauth20 0.0.1a1
在 FastAPI 中异步授权 OAuth2 客户端
1 version - Latest release: 3 months ago - 196 downloads last month - 24,921 stars on GitHub - 1 maintainer
Top 7.4% on pypi.org
rstcheck-core 1.2.1
Checks syntax of reStructuredText and code blocks nested within it
9 versions - Latest release: about 2 months ago - 3 dependent packages - 223 dependent repositories - 166 thousand downloads last month - 4 stars on GitHub - 1 maintainer
qchecker 1.1.2
A simple library for finding statement-level substructures in Abstract Syntax Trees
10 versions - Latest release: almost 2 years ago - 2 dependent repositories - 13 downloads last month - 2 stars on GitHub - 2 maintainers
ast-grep-cli 0.22.3 💰
Structural Search and Rewrite code at large scale using precise AST pattern.
53 versions - Latest release: about 12 hours ago - 16.6 thousand downloads last month - 5,983 stars on GitHub - 2 maintainers
ast-grep-py 0.22.3 💰
Structural Search and Rewrite code at large scale using precise AST pattern.
34 versions - Latest release: about 12 hours ago - 12.5 thousand downloads last month - 5,983 stars on GitHub - 2 maintainers
cutcutcodec 1.0.2 💰
video editing software
6 versions - Latest release: 4 months ago - 28 downloads last month - 5,126 stars on GitHub - 2 maintainers
surfactant 0.0.0rc5
Modular framework to gather file information, analyze dependencies, and generate an SBOM
6 versions - Latest release: 25 days ago - 1 dependent repositories - 163 downloads last month - 11 stars on GitHub - 2 maintainers
cppcheckbear 0.10.0 💰
'CPPCheckBear' bear for coala (http://coala.rtfd.org/)
43 versions - Latest release: about 7 years ago - 314 downloads last month - 5,480 stars on GitHub - 1 maintainer
Top 2.1% on pypi.org
griffe 0.45.0 💰
Signatures for entire Python programs. Extract the structure, the frame, the skeleton of your pro...
105 versions - Latest release: 1 day ago - 40 dependent packages - 1,422 dependent repositories - 1.23 million downloads last month - 225 stars on GitHub - 1 maintainer
tslintbear 0.10.0
'TSLintBear' bear for coala (http://coala.rtfd.org/)
19 versions - Latest release: about 7 years ago - 1 dependent repositories - 198 downloads last month - 5,909 stars on GitHub - 2 maintainers
metasloit 3.2.4 removed 💰
This package is used for security research and demonstrations. It might contain dangerous code sn...
1 version - Latest release: almost 2 years ago - 21,540 stars on GitHub
very-evil-tal-tirashmi-le-moed-b 99.9.9 removed 💰
This package is used for security research and demonstrations. It might contain dangerous code sn...
1 version - Latest release: over 1 year ago - 22,283 stars on GitHub
log4k 1.2.3 removed 💰
This package is used for security research and demonstrations. It might contain dangerous code sn...
1 version - Latest release: almost 2 years ago - 22,283 stars on GitHub
xenadestroyer 2.0.0 removed 💰
This package is used for security research and demonstrations. It might contain dangerous code sn...
1 version - Latest release: almost 2 years ago - 22,283 stars on GitHub
Top 4.2% on pypi.org
python-taint 0.42
Find security vulnerabilities in Python web applications using static analysis.
7 versions - Latest release: over 5 years ago - 32 dependent repositories - 4.21 thousand downloads last month - 2,163 stars on GitHub - 3 maintainers
Top 5.7% on pypi.org
ipyflow-core 0.0.200
Backend package for ipyflow's dataflow functionality
110 versions - Latest release: about 2 months ago - 2 dependent packages - 2 dependent repositories - 2.19 thousand downloads last month - 1,007 stars on GitHub - 1 maintainer
Top 8.7% on pypi.org
ipyflow 0.0.200
A reactive Python kernel for Jupyter notebooks.
114 versions - Latest release: about 2 months ago - 1 dependent repositories - 1.42 thousand downloads last month - 1,007 stars on GitHub - 1 maintainer
Top 7.7% on pypi.org
amarna 0.1.5
Amarna is a static-analyzer for the Cairo programming language.
5 versions - Latest release: over 1 year ago - 7 dependent repositories - 829 downloads last month - 146 stars on GitHub - 2 maintainers
Top 1.7% on pypi.org
slither-analyzer 0.10.2
Slither is a Solidity and Vyper static analysis framework written in Python 3.
40 versions - Latest release: about 1 month ago - 3 dependent packages - 186 dependent repositories - 57.1 thousand downloads last month - 4,976 stars on GitHub - 4 maintainers
Top 5.5% on pypi.org
pyanalyze 0.12.0
A static analyzer for Python
15 versions - Latest release: 3 months ago - 1 dependent package - 4 dependent repositories - 1.1 thousand downloads last month - 299 stars on GitHub - 1 maintainer
astspy 0.0.3
Abstract Syntax Tree SPY
3 versions - Latest release: almost 5 years ago - 1 dependent repositories - 40 downloads last month - 0 stars on GitHub - 1 maintainer
taint-analysis 0.11
Find security vulnerabilities in Python web applications using static analysis.
2 versions - Latest release: about 6 years ago - 1 dependent repositories - 7 downloads last month - 2,163 stars on GitHub - 1 maintainer
Top 8.8% on pypi.org
nb-autodoc 0.1.1 💰
Python API documentation tool supporting the modern PEPs and typing features.
9 versions - Latest release: almost 2 years ago - 11 dependent repositories - 132 downloads last month - 8 stars on GitHub - 1 maintainer
ast-grep-pyo3 0.13.0 💰
Structural Search and Rewrite code at large scale using precise AST pattern.
2 versions - Latest release: 6 months ago - 431 downloads last month - 5,978 stars on GitHub - 1 maintainer
python-import-guardian 0.2.2
A static-analysis Python import guardian.
8 versions - Latest release: about 2 years ago - 1 dependent repositories - 210 downloads last month - 0 stars on GitLab.com - 2 maintainers
Top 2.2% on pypi.org
rstcheck 6.2.1
Checks syntax of reStructuredText and code blocks nested within it
48 versions - Latest release: about 2 months ago - 81 dependent packages - 1,541 dependent repositories - 231 thousand downloads last month - 219 stars on GitHub - 2 maintainers
toyboxpy 1.3.2
A Lua, C and asset dependency manager for the Playdate SDK
33 versions - Latest release: 4 months ago - 272 downloads last month - 325 stars on GitHub - 1 maintainer
eth-wake 4.9.0
Wake is a Python-based Solidity development and testing framework with built-in vulnerability det...
17 versions - Latest release: 18 days ago - 1.42 thousand downloads last month - 185 stars on GitHub - 2 maintainers
aibolit 1.2.5
Aibolit: Static Analyzer with Machine Learning in Mind
26 versions - Latest release: almost 4 years ago - 294 downloads last month - 50 stars on GitHub - 1 maintainer
Top 8.4% on pypi.org
mobsf 3.9.7 💰
Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Win...
14 versions - Latest release: about 2 months ago - 1 dependent repositories - 634 downloads last month - 16,345 stars on GitHub - 1 maintainer
rcft-pymarkdown 1.0.4
A Python wrapper around jackdewinter's PyMarkdown linter to remove custom tables in Markdown files
1 version - Latest release: 9 days ago - 166 downloads last month - 0 stars on GitHub - 2 maintainers
Top 0.5% on pypi.org
ruff 0.4.4
An extremely fast Python linter and code formatter, written in Rust.
298 versions - Latest release: 4 days ago - 1,171 dependent packages - 5,870 dependent repositories - 16.8 million downloads last month - 21,601 stars on GitHub - 1 maintainer
astypes 0.2.6
Infer types for AST nodes.
8 versions - Latest release: about 1 year ago - 1 dependent package - 198 downloads last month - 6 stars on GitHub - 2 maintainers
torchfix 0.5.0
TorchFix - a linter for PyTorch-using code with autofix support
9 versions - Latest release: 25 days ago - 1 dependent repositories - 13.4 thousand downloads last month - 60 stars on GitHub - 2 maintainers
Top 0.8% on pypi.org
semgrep 1.72.0
Lightweight static analysis for many languages. Find bug variants with patterns that look like so...
236 versions - Latest release: 5 days ago - 30 dependent packages - 375 dependent repositories - 936 thousand downloads last month - 9,668 stars on GitHub - 4 maintainers
iam-sarif-report 2.3.2
Validate your IAM Policies and SCPs with AWS Policy Validator, and convert those results into SAR...
10 versions - Latest release: about 1 month ago - 1 dependent repositories - 74 downloads last month - 6 stars on GitHub - 1 maintainer
make-argocd-fly 0.0.34
A project to generate ArgoCD application resources
33 versions - Latest release: about 2 months ago - 303 downloads last month - 2,748 stars on GitHub - 2 maintainers
rpgen 0.0.3 💰
This generator makes it easy to set up a new password
3 versions - Latest release: about 1 year ago - 24 downloads last month - 3,267 stars on GitHub - 2 maintainers
rubysmellbear 0.10.0
'RubySmellBear' bear for coala (http://coala.rtfd.org/)
14 versions - Latest release: about 7 years ago - 1 dependent repositories - 92 downloads last month - 3,980 stars on GitHub - 2 maintainers
simplesecurity 2023.0.2
Combine multiple popular python security tools and generate reports or output into different formats
32 versions - Latest release: 11 months ago - 1 dependent package - 1 dependent repositories - 296 downloads last month - 10 stars on GitHub - 1 maintainer
Top 5.1% on pypi.org
ford 7.0.6
FORD (FORtran Documenter) is an automatic documentation generator for modern Fortran programs.
66 versions - Latest release: about 1 month ago - 11 dependent repositories - 8.42 thousand downloads last month - 391 stars on GitHub - 2 maintainers
mujoco-logger 0.1.2
Handy tool to log simulation from MuJoCo
3 versions - Latest release: 2 months ago - 19 downloads last month - 24,921 stars on GitHub - 2 maintainers
Top 0.7% on pypi.org
jedi 0.19.1 💰
An autocompletion tool for Python that can be used for text editors.
34 versions - Latest release: 7 months ago - 293 dependent packages - 89,812 dependent repositories - 38.5 million downloads last month - 5,676 stars on GitHub - 1 maintainer
Top 9.8% on pypi.org
tidypy 0.22.0
A tool that executes a suite of static analysis tools upon a Python project.
24 versions - Latest release: over 2 years ago - 1 dependent package - 3 dependent repositories - 518 downloads last month - 33 stars on GitHub - 1 maintainer
Related Keywords
python 108 linter 54 static-code-analysis 51 python3 32 pep8 25 hacktoberfest 23 security 23 rust 20 styleguide 19 style-guide 18 c 17 rustpython 16 ruff 16 typescript 15 lint 13 sast 13 ast 12 code-quality 12 go 12 ruby 12 semgrep 12 reverse-engineering 11 java 11 javascript 11 r2c 11 analysis 10 aws 9 typing 9 kubernetes 8 flake8 8 devsecops 8 static-analyzer 8 aws-security 8 dynamic-analysis 8 devops 8 compliance 8 cloudformation 8 infrastructure-as-code 7 scans 7 azure 7 static analysis 7 terraform 7 machine-learning 7 gcp 7 closember 7 ethereum 7 development 6 developer-tools 6 disassembler 6 security-tools 6 testing 6 program-analysis 6 docker 6 cpp 6 solidity 6 abstract-syntax-tree 5 typechecker 5 dataflow 5 pypi 5 c-plus-plus 5 windows 5 forensics 5 clang-tidy 5 cybersecurity 5 taint-analysis 5 binary-analysis 5 linting 5 mypy 5 policy-as-code 4 terraform-security 4 kubernetes-security 4 clang 4 tool 4 formatter 4 static code analysis 4 pylint 4 parser 4 command-line-tool 4 refactoring 4 llvm 4 metrics 4 research 4 analyzer 4 dark-mode 4 dear-imgui 4 hacking 4 hex-editor 4 ips 4 mathematical-evaluator 4 multi-platform 4 pattern-language 4 preprocessor 4 android 4 abstract-interpretation 4 cli 4 testing-framework 4 audit 4 types 4 static 4 codereview 4