New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Build Securely on AWS with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Plugfy checks whether all dependencies of an extension are met. It pays special attention to method signatures and can detect incompatible byte code changes even if they are compatible at the source code level.
chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.
Simple C Checker to validate if formatted correctly before compiling
Simple C Checker written in Perl 5.14+ to validate if formatted correctly before compiling. It only validates syntax is correct, no logic or pseudo code is verified.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
The Version Checker Tool traverses the given folder or directory and groups the found classes by java major and minor version. It helps to identify and resolve the java run time compatibility issues with class and jar files.
JCSC is a highly configurable checking tool for your Java source code. It checks the compliance to a defineable coding standard like naming conventions and code structure. Also signs of bad coding, potential bugs are found. JCSC is inspired by lint.
JSPChecker is a source-code checker for JSPs. It parses JSP / HTML pages for usage of particular tags and scripts such as HTML FORM, Javascript, in-page Java, scriptlets, and custom regular expressions either through an ANT task or command-line tool.
MetaCheck is a java code checking utility to convert results from various code checking tools (jcsc, pmd, checkstyle, findbugs, ...) into one uniform xml/html result for each of the checkers and for the generated meta result.