Analyze, optimize and document VB code. Code review. Coding standards. Delete unused code. Cross-references, call diagrams, metrics. Print code.

Analyze, optimize and document VB code. Code review. Coding standards. Delete unused code. Cross-references, call diagrams, metrics. Print code.

Payload Security is a technology oriented IT-Security startup company. We develop and license analysis tools to fight malware.

Payload Security is a technology oriented IT-Security startup company. We develop and license analysis tools to fight malware.

Analyze, optimize and document VB code. Code review. Coding standards. Delete unused code. Cross-references, call diagrams, metrics. Print code.

Analyze, optimize and document VB code. Code review. Coding standards. Delete unused code. Cross-references, call diagrams, metrics. Print code.

Security Reviewer scans a large number of different languages source code (C, C++, JAVA, JSP, JavaScript, C#, VB.NET, PHP, Ruby, Groovy, COBOL, ABAP, PL-SQL, T-SQL, XML, Android, Objective C), finds and detects weaknesses hidden inside it, and assesses po

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

Leader in Software Analysis and Measurement providing visibility into root causes of cost and risk in the software product.

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

Emenda specialises in the provision of software testing tools and consultancy services for the development and verification of safety critical, business critical or high integrity software systems.

Emenda specialises in the provision of software testing tools and consultancy services for the development and verification of safety critical, business critical or high integrity software systems.

Emenda specialises in the provision of software testing tools and consultancy services for the development and verification of safety critical, business critical or high integrity software systems.

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

Measure and improve the productivity of your development teams by implementing a repeatable SDLC process. Improve quality, manage your budget better, hit delivery dates and have daily reports on the project status with Parasoft Concerto and Test solutions

LDRA Software Technology provides automated software verification, requirements traceability and standards compliance.

Handy resources for developers looking to improve their software quality. Download static analysis starter pack here.

Hitex Software Quality Tools will help you to achieve software quality, covering topics such as performance analysis, code coverage, using the HiSCRIPT language for regression tests, etc.

static source code analyser and refactoring for the Erlang functional programming language

Sigasi is an EDA start-up that develops and markets Sigasi HDT, the VHDL editor of the future, based on Eclipse.

static source code analyser and refactoring for the Erlang functional programming language

Sunnian Enterprise is using PHP + MYSQL technology and MVC pattern, structure clear, the code easier to maintain. Support the pseudo static function, can generate Google and baidu map, support custom url, keywords and description, accord with standard of

Lankecms Enterprise website system is using PHP + MYSQL technology and MVC pattern, structure clear, the code easier to maintain. Support the pseudo static function, can generate Google and baidu map, support custom url, keywords and description, accord w

LankeCMS blue family enterprise website system is using PHP + MYSQL technology and MVC pattern, structure clear, the code easier to maintain. Support the pseudo static function, can generate Google and baidu map, support custom url, keywords and descripti

Lankecms Enterprise website system is using PHP + MYSQL technology and MVC pattern, structure clear, the code easier to maintain. Support the pseudo static function, can generate Google and baidu map, support custom url, keywords and description, accord w

LankeCMS blue family enterprise website system is using PHP + MYSQL technology and MVC pattern, structure clear, the code easier to maintain. Support the pseudo static function, can generate Google and baidu map, support custom url, keywords and descripti