TypestatConverts JavaScript to TypeScript and TypeScript to better TypeScript.
Stars: ✭ 136 (-44.94%)
Npgsql.fsharp.analyzerF# analyzer that provides embedded SQL syntax analysis, type-checking for parameters and result sets and nullable column detection when writing queries using Npgsql.FSharp.
Stars: ✭ 103 (-58.3%)
I18n ExtractManage localization with static analysis. 🔍
Stars: ✭ 152 (-38.46%)
CrabCoRnucopia of ABstractions: a library for building abstract interpretation-based analyses
Stars: ✭ 102 (-58.7%)
IkosStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
Stars: ✭ 1,368 (+453.85%)
SquealerTelling tales on you for leaking secrets!
Stars: ✭ 97 (-60.73%)
Just Another Android AppAn Android base app with loads of cool libraries/configuration NOT MAINTAINED
Stars: ✭ 1,654 (+569.64%)
Nodejsscannodejsscan is a static security code scanner for Node.js applications.
Stars: ✭ 1,874 (+658.7%)
BellybuttonCustom Python linting through AST expressions
Stars: ✭ 196 (-20.65%)
Violations LibJava library for parsing report files from static code analysis.
Stars: ✭ 94 (-61.94%)
SysSys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
Stars: ✭ 149 (-39.68%)
Inline syscallInline syscalls made easy for windows on clang
Stars: ✭ 232 (-6.07%)
Sea DsaA new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Stars: ✭ 90 (-63.56%)
Bento[DEPRECATED] Find Python web-app bugs delightfully fast, without changing your workflow. 🍱
Stars: ✭ 147 (-40.49%)
RubberduckEvery programmer needs a rubberduck. COM add-in for the VBA & VB6 IDE (VBE).
Stars: ✭ 1,287 (+421.05%)
CheckovPrevent cloud misconfigurations during build-time for Terraform, Cloudformation, Kubernetes, Serverless framework and other infrastructure-as-code-languages with Checkov by Bridgecrew.
Stars: ✭ 3,572 (+1346.15%)
CodechartaCodeCharta visualizes multiple code metrics using 3D tree maps.
Stars: ✭ 85 (-65.59%)
InsiderStatic Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).
Stars: ✭ 216 (-12.55%)
MazewalkerToolkit for enriching and speeding up static malware analysis
Stars: ✭ 132 (-46.56%)
RecafThe modern Java bytecode editor
Stars: ✭ 3,374 (+1265.99%)
Bypass FinalsRemoves final keywords from source code on-the-fly and allows mocking of final methods and classes. It can be used together with any test tool such as PHPUnit or Mockery.
Stars: ✭ 228 (-7.69%)
CodelyzerStatic analysis for Angular projects.
Stars: ✭ 2,436 (+886.23%)
Securify[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Stars: ✭ 177 (-28.34%)
Owasp OrizonOwasp Orizon is a source code static analyzer tool designed to spot security issues in Java applications.
Stars: ✭ 130 (-47.37%)
SpecifyBDD style code blocks for PHPUnit / Codeception
Stars: ✭ 141 (-42.91%)
BrainmonkeyMocking utility for PHP functions and WordPress plugin API
Stars: ✭ 191 (-22.67%)
Mobile Security Framework MobsfMobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.
Stars: ✭ 10,212 (+4034.41%)
TipStatic program analysis for TIP
Stars: ✭ 140 (-43.32%)
Anchore EngineA service that analyzes docker images and applies user-defined acceptance policies to allow automated container image validation and certification
Stars: ✭ 1,192 (+382.59%)
SputnikStatic code review for your Gerrit patchsets. Runs Checkstyle, PMD, FindBugs, Scalastyle, CodeNarc, JSLint for you!
Stars: ✭ 189 (-23.48%)
Protoc Gen LintA plug-in for Google's Protocol Buffers (protobufs) compiler to lint .proto files for style violations.
Stars: ✭ 221 (-10.53%)
Kube ScoreKubernetes object analysis with recommendations for improved reliability and security
Stars: ✭ 1,128 (+356.68%)
Sbt Dependency CheckSBT Plugin for OWASP DependencyCheck. Monitor your dependencies and report if there are any publicly known vulnerabilities (e.g. CVEs). 🌈
Stars: ✭ 187 (-24.29%)
TscancodeA static code analyzer for C++, C#, Lua
Stars: ✭ 1,112 (+350.2%)
Auth TestsAlways-current tests for Laravel's authentication system. Curated by the community.
Stars: ✭ 230 (-6.88%)
RstcheckChecks syntax of reStructuredText and code blocks nested within it
Stars: ✭ 130 (-47.37%)
CxxctpDEPRECATED. USE INSTEAD github.com/blockspacer/flextool
Stars: ✭ 58 (-76.52%)
Dependency CruiserValidate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
Stars: ✭ 2,326 (+841.7%)
Clj KondoA linter for Clojure code that sparks joy.
Stars: ✭ 1,083 (+338.46%)
BodycloseAnalyzer: checks whether HTTP response body is closed and a re-use of TCP connection is not blocked.
Stars: ✭ 181 (-26.72%)
Rubysonaran advanced semantic indexer for Ruby
Stars: ✭ 175 (-29.15%)
Frama C SnapshotRelease snapshots of the Frama-C platform for source code analysis
Stars: ✭ 129 (-47.77%)
Ruby Type InferenceDynamic definitions and types provider for ruby static analysis
Stars: ✭ 129 (-47.77%)
BoltBolt is a language with in-built data-race freedom!
Stars: ✭ 215 (-12.96%)
CrepeDatalog compiler in Rust as a procedural macro
Stars: ✭ 175 (-29.15%)
Laravel Dusk CiDocker Test suite for Laravel Dusk in gitlab CI
Stars: ✭ 129 (-47.77%)
Njsscannjsscan is a semantic aware SAST tool that can find insecure code patterns in your Node.js applications.
Stars: ✭ 128 (-48.18%)
VerifyBDD Assertions for PHPUnit and Codeception
Stars: ✭ 127 (-48.58%)