Search Results for "static code analysis"

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.

CSS Scanner scans your projects (HTML, ASPX, PHP, JavaScript, jQuery) use of css classes and selectors and compares it to your CSS/stylesheet files. It then lists you those CSS selectors and classes that are not used or not defined and those which are used. This way it helps you get an overview of your CSS/stylesheet definitions and lets you easily clean them up. There's a precompiled .msi installer for Windows avaliable for download. Just install and find CSS Scanner in your start...

The Object Conversion Library aims to provide developers with a baseline template for object conversion. The library can included to a project to allow a developer to build specific object conversion features. A more detailed explanation can be found in the documentation section of the repository.

.Net Checker checks all code dependencies in .Net projects to ensure a stable architecture - up to multi-million LOC source trees. Moreover, it can produce flexible DOT-based dependency graphs.

This is project is a refactoring assistant kit. It intends to provide tools and script to help refactor C++ code, replacing our usual search'n'replace by providing some rough code analysis and IDE specific plug-ins for integration.