SISSy is a platform for problem pattern identification in OO source code written in Java, C++ or Delphi. Problem patterns include the well-known bad smells as well as typical violations of good OO design principles and heuristics.
A simple Eclipse plugin to check C/C++ Files for correct syntax. It is intended as an addition - not replacement - for the CDT project. It offers improved marking of errors and warnings. Update-Site is: http://www.jaylib.org/eclipse/plugins/CppChecke
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
JMonitoring and NMonitoring are monitoring frameworks for Java and .Net applications, based on AOP (AspectJ and AspectDNG). Data are stored in database, memory or XML and can be consulted with a web console. http://forge.octo.com/confluence/display/JMO