Skip to content

Entry

Infer

Appears in 5 awesome lists

MIT 🟢Modern static analysis tool for verifying the correctness of code.

Open github.comfacebook/infer

Found in these lists

Awesome C++

Section: Static Code Analysis · A static analyzer for Java, C and Objective-C. [BSD]

FreshScore 94

Awesome Java

Section: Code Analysis · MIT 🟢Modern static analysis tool for verifying the correctness of code.

FreshScore 93

awesome-mobile-security

Section: Tools

StaleScore 49

Awesome OCaml

Section: Code Analysis and Linters · Infer is a static analyzer for Java, C and Objective-C

ActiveScore 72

Awesome Ios

Section: Tools · A static analyzer for Java, C and Objective-C.

FreshScore 90

VirusTotal

VirusTotal, a subsidiary of Google, is a free online service that analyzes files and URLs enabling the identification of viruses, worms, trojans and other kinds of malicious content detected by antivirus engines and website scanners. At the same time, it may be used as a means to detect false…

In 13 listsDetails

MobSF

Mobile 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.

In 5 listsDetails

Error Prone

Catches common programming mistakes as compile-time errors. License: Apache 2 , .

In 4 listsDetails

Checkstyle

Tool for checking Java source code for adherence to a Code Standard or set of validation rules.

In 4 listsDetails

MetaDefender Cloud

Scan a file, hash, IP, URL or domain address for malware for free.

In 4 listsDetails

Cutter

Free and open source reverse engineering platform powered by Rizin.

In 3 lists

include-what-you-use

Helps find unecessary inclusions and make suggestions for fixing them. Based on LLVM/Clang (and only works with it). NCSA

In 3 lists

PMD

Source code analysis for finding bad coding practices. License: BSD 4.

In 3 lists