Description: SureLog is an open-source structural Verilog and SystemVerilog lint, semantic check and automated formal verification tool. It can help detect bugs and ensure adherence to coding guidelines in Verilog/SystemVerilog designs.
Type: software
Pricing: Open Source
Description: w3af is an open source web application security scanner. It helps developers and security researchers identify and exploit vulnerabilities in web apps. w3af is designed to find XSS, SQLi, RCE, and other common web app vulnerabilities.
Type: software
Pricing: Open Source