Static Analysis Websites
Static Source Code Analysis and Web Application Security - Armorize Te
Armorize offers flexible, fast and efficient web application security solutions at key points in the system development life cycle.
Software Quality, Testing, and Security Analysis | McCabe - The Softwa
McCabe Software provides software quality, testing, security and configuration management tools to top software development teams in all industries worldwide.
LDRA - Home
LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.
Whiley: an Open Source Programming Language with Extended Static Check
Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
Prof. Eric Bodden, Ph.D.
Join my research group as a Doctoral Student or PostDoc! We are currently looking for doctoral and postdoctoral researchers to complement our research group at…
CppDepend :: C/C++ Static Analysis and Code Quality Tool
C/C++ Static code analysis and code quality tool.
RefactorErl - Refactoring Erlang Programs
static source code analyser and refactoring for the Erlang functional programming language
Phaedrus Systems Home Page
Supplier of embedded devlopment tools and consultancy for safety critical, high reliability and mission critical systems. Member of ISO C, ISO C++ panels and Principal Author of MISRA-C:2004
Contemplate ThreadSafe
ThreadSafe is a static analysis tool for Java developers which finds and helps fix dangerous concurrency bugs.
Home - SAP Sicherheit, Compliance, Qualität
Wie sicher ist Ihr SAP? Wir bieten Lösungen für SAP Sicherheit und Qualität. Verbessern Sie Ihren SAP ABAP Code und Konfiguration: Sicherheit, Performance, Qualität.
Cleanscape Software - Software development automation tools for UNIX L
Computer software programming tools for Windows, Unix, Linux, C, C++, fortran, ada. automatic code generators fortran development tools static source code analysis software test automation test coverage build management systems programming source code analyzers software development lint debuggers MIL-STD-1750A
Brakeman
Brakeman is a static analysis security vulnerability scanner for Ruby on Rails applications.
The Developer's Guide to Debugging
A guide for software developers on how to debug programs written in C and C++
Information Security, Governance, Risk, Compliance, Consulting, Certif
IntelleSecure offers training and consulting services on Information Security, Governance, Risk, Compliance, Consulting, Certification, Training in Bangalore, Chennai, Mumbai, Pune, Delhi, Gurgaon, Noida, Muscat, Qatar, Dubai, CISSP, CISA, CISM, CBCP, ISMS, SOX, COBIT, ERM, ITIL, ITSM, BCMS, IMS, Network Security, Appl
Functor - Innovating the Future of Software Engineering
Functor is a Swedish-based research spinoff company delivering new tools to improve software development. Functor Prevent™ is a tool that combines software testing with static analysis and automatic formal methods, giving a novel testing method named Functor Hybrid Testing™. Functor's technology spires from University
Functor - Innovating the Future of Software Engineering
Functor is a Swedish-based research spinoff company delivering new tools to improve software development. Functor Prevent™ is a tool that combines software testing with static analysis and automatic formal methods, giving a novel testing method named Functor Hybrid Testing™. Functor's technology spires from University
Functor - Innovating the Future of Software Engineering
Functor is a Swedish-based research spinoff company delivering new tools to improve software development. Functor Prevent™ is a tool that combines software testing with static analysis and automatic formal methods, giving a novel testing method named Functor Hybrid Testing™. Functor's technology spires from University
Functor - Innovating the Future of Software Engineering
Functor is a Swedish-based research spinoff company delivering new tools to improve software development. Functor Prevent™ is a tool that combines software testing with static analysis and automatic formal methods, giving a novel testing method named Functor Hybrid Testing™. Functor's technology spires from University
Homepage - IT Security C&T
IT Security C&T was incorporated in 2011 with the vision to be the leading information security and technology risk management resource center in the Middle East and North African Region. We are specialized in the delivery of affordable high-end information security and technology risk management services that are hard
Functor - Innovating the Future of Software Engineering
Functor is a Swedish-based research spinoff company delivering new tools to improve software development. Functor Prevent™ is a tool that combines software testing with static analysis and automatic formal methods, giving a novel testing method named Functor Hybrid Testing™. Functor's technology spires from University