#ocaml #abstract_interpretation #code_quality #control_flow_analysis #program_analysis #python #security #static_analysis #taint_analysis #type_check #typechecker
https://github.com/facebook/pyre-check
https://github.com/facebook/pyre-check
GitHub
GitHub - facebook/pyre-check: Performant type-checking for python.
Performant type-checking for python. Contribute to facebook/pyre-check development by creating an account on GitHub.
#jupyter_notebook #blockchain #cryptocurrency #mina #ocaml #zk_snarks
https://github.com/MinaProtocol/mina
https://github.com/MinaProtocol/mina
GitHub
GitHub - MinaProtocol/mina: Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining…
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. - MinaProtocol/mina
#ocaml #intel #introspection #performance_tools #profile #tracing #visualizer #x86
https://github.com/janestreet/magic-trace
https://github.com/janestreet/magic-trace
GitHub
GitHub - janestreet/magic-trace: magic-trace collects and displays high-resolution traces of what a process is doing
magic-trace collects and displays high-resolution traces of what a process is doing - janestreet/magic-trace
#ocaml #c #go #java #javascript #python #r2c #ruby #sast #semgrep #static_analysis #static_code_analysis #typescript
Semgrep is a fast, open-source tool that scans your code to find bugs and security issues in over 30 programming languages. It works locally on your computer or in your build system, so your code stays private. Semgrep’s rules are easy to write and understand, helping you catch problems early in development, whether in your IDE, pre-commit checks, or CI/CD pipelines. For stronger security, the Semgrep AppSec Platform offers advanced analysis, AI-powered triage, and detailed fix guidance, reducing false alarms and helping developers fix issues quickly without slowing down. This improves code quality and security efficiently.
https://github.com/semgrep/semgrep
Semgrep is a fast, open-source tool that scans your code to find bugs and security issues in over 30 programming languages. It works locally on your computer or in your build system, so your code stays private. Semgrep’s rules are easy to write and understand, helping you catch problems early in development, whether in your IDE, pre-commit checks, or CI/CD pipelines. For stronger security, the Semgrep AppSec Platform offers advanced analysis, AI-powered triage, and detailed fix guidance, reducing false alarms and helping developers fix issues quickly without slowing down. This improves code quality and security efficiently.
https://github.com/semgrep/semgrep
GitHub
GitHub - semgrep/semgrep: Lightweight static analysis for many languages. Find bug variants with patterns that look like source…
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. - semgrep/semgrep