Tag: Klocwork demo

Categories
klocwork

Buffer Overflow Attack in C: How It Works and How to Prevent It

Buffer overflow is a type of vulnerability that occurs when a program tries to write data to a buffer that is not large enough to hold it. This can happen in any programming language, but it is particularly prevalent in C, which is a low-level language that does not provide built-in bounds checking for arrays and pointers. In this blog, we will explore how buffer overflow attacks work in C, and what can be done to prevent them.

Content:
  1. What is Buffer Overflow Attack?
  2. Types of Buffer Overflow:
  3. Example of Buffer Overflow Attack
  4. Prevention of Buffer Overflow Attack:
  5. Detecting and fixing Buffer Overflow issues with Klocwork
  6. Download Free Trail of Klocwork

What is Buffer Overflow Attack?

A buffer overflow attack occurs when an attacker sends more data than the buffer can hold, causing the excess data to overflow into adjacent memory locations. This can result in memory corruption, which can lead to the program behaving unexpectedly, crashing, or allowing the attacker to execute arbitrary code.

Types of Buffer Overflow:

There are two main types of buffer overflow: stack overflow and heap overflow.

  1. Stack overflow: This occurs when the program tries to write more data to the stack than it can hold. The stack is a region of memory used for storing function calls and local variables. When a function is called, its return address and local variables are pushed onto the stack. If the function writes more data to the stack than it should, the excess data can overwrite the return address, causing the program to jump to an arbitrary location in memory.
  • Heap overflow: This occurs when the program tries to write more data to the heap than it can hold. The heap is a region of memory used for dynamically allocated memory. When a program requests memory from the heap, the operating system allocates a block of memory and returns a pointer to it. If the program writes more data to the block than it should, the excess data can overwrite adjacent blocks of memory, causing memory corruption.

Example of Buffer Overflow Attack:

The code provided below demonstrates two types of buffer overflow vulnerabilities: stack overflow and heap overflow

#include <stdio.h>
#include <stdlib.h>

  void foobar(int x)
  {
    int local_array[7];
    local_array[x] = 0;
}

void heap_overflow() {
    int* arr = malloc(100 * sizeof(int));
    arr[100] = 42; // write past the end of the allocated memory, causing heap overflow
    free(arr);
}

int main() {
	foobar(15);
    heap_overflow();
    return 0;
}

The function foobar takes an integer parameter x and creates an integer array local_array of size 7 on the stack. The function then writes to local_array[x], which can cause a stack overflow if the value of x is greater than or equal to 7. This is because the program tries to write to a memory location outside the bounds of the local_array, which can cause the program to overwrite other data on the stack, leading to unexpected behavior or crashes.

The function heap_overflow allocates a block of memory on the heap using malloc, with a size of 100 integers. The function then writes to arr[100], which is past the end of the allocated memory block. This can cause a heap overflow, which can lead to similar issues as a stack overflow. When the program tries to write past the end of the allocated memory block, it can overwrite other data in memory, leading to unexpected behavior or crashes.

In main, the foobar function is called with a parameter of 15, which causes a stack overflow, and then the heap_overflow function is called, which causes a heap overflow.

To fix these buffer overflow vulnerabilities, it is important to ensure that arrays and memory blocks are not written to outside their bounds. This can be done by checking the size of the array or memory block and ensuring that any index used to access it is within the bounds of the array or memory block. Using a secure coding standard, like CERT C or MISRA C, can help identify and prevent buffer overflow vulnerabilities in the code.

Buffer Overflow Detected by Klocwork Static Code Analysis Tool
Stack Overflow Detected by Klocwork Static Code Analysis Tool

Prevention of Buffer Overflow Attack:

There are several ways to prevent buffer overflow attacks in C:

  1. Bounds checking: Always ensure that arrays and pointers are used within their bounds. This can be done by using functions like strncpy instead of strcpy, or by checking the length of input before copying it to a buffer.
  2. Stack canaries: A stack canary is a value placed on the stack that is checked before the function returns. If the canary value has been modified, it indicates that a buffer overflow has occurred, and the program can terminate.
  3. Address space layout randomization (ASLR): ASLR is a technique that randomizes the location of code and data in memory, making it harder for an attacker to predict where the vulnerable code is located.

Buffer overflow attacks are a common type of cyber-attack that can be prevented with proper coding practices and security measures. In C programming, where bounds checking is not performed automatically, it is important to ensure that input data is checked and used within its boundaries to prevent buffer overflow attacks. Employing security techniques like stack canaries and ASLR can further enhance the protection against buffer overflow attacks.

It is essential to stay updated with the latest security measures and to perform regular security audits to ensure that code is free from vulnerabilities. By understanding the concept of buffer overflow attacks and taking appropriate precautions, developers can write secure code and protect their applications from malicious attacks.

Detecting and fixing Buffer Overflow issues with Klocwork

Klocwork is a static code analysis tool that can effectively detect buffer overflow vulnerabilities in C and C++ code. Klocwork analyzes the source code to identify potential issues such as buffer overflows, null pointer dereferences, and other types of memory errors.

Klocwork uses a combination of data flow analysis, taint analysis, and control flow analysis to detect buffer overflows. It can detect overflows in both the stack and heap, and can identify cases where unbounded memory copies are being made, or where the size of the buffer is not being checked properly.

Klocwork can also provide detailed diagnostic information about buffer overflow vulnerabilities, including information on the source of the vulnerability and suggestions on how to fix the issue. This can help developers quickly identify and remediate buffer overflow vulnerabilities in their code.

In addition to buffer overflow detection, Klocwork can also detect other types of security vulnerabilities, including race conditions, cross-site scripting (XSS), and SQL injection. It can also identify coding standard violations and potential performance issues.

Overall, Klocwork is an effective tool for detecting buffer overflow vulnerabilities in C and C++ code. By using Klocwork in the development process, developers can identify and remediate buffer overflow vulnerabilities early in the development process, improving the security and reliability of their code.

Download Free Trail of Klocwork

The trial license of Klocwork can help you understand how the tool works and how it can help your team detect Memory Leaks in C/C++. “Ready to experience the power of Klocwork firsthand? Sign up for a free trial today and see how Klocwork innovative solution can transform your business. With no obligation and no risk, there’s nothing to lose and everything to gain.

Don’t wait – Download Free Trial of Klocwork now!”

Categories
MISRA

Ensuring Safety and Reliability with MISRA Compliance

MISRA (Motor Industry Software Reliability Association) is a set of guidelines for software development in the automotive industry. It was initially developed in the 1990s to address software safety and reliability concerns in the automotive industry.

Contents

              Misra – Overview

              Importance of Misra in Automotive Industry

              Various versions of Misra

              How to develop a MISRA compliant Code

              Test the Code for MISRA compliance

              Check MISRA compliance with Klocwork

              Sample Misra Compliance Report of Klocwork

              How to get a Free Trail of Klocwork

Misra – Overview

MISRA (Motor Industry Software Reliability Association) is a collaborative organization consisting of companies involved in the automotive industry. Its mission is to provide guidelines and recommendations for developing safe and reliable software for automotive applications. The organization publishes coding standards and guidelines for programming languages such as C and C++, which are widely used in the automotive industry. These coding standards provide a set of rules and recommendations for developers to follow, which help to improve software quality, reduce errors, and increase safety. Following MISRA guidelines is often a requirement for companies developing software for automotive systems, as it helps ensure that the software is compliant with industry standards and regulations.

The MISRA guidelines provide a set of coding standards and best practices to ensure that the software used in vehicles is reliable, safe, and of high quality. The guidelines cover a range of topics, including coding style, software architecture, and testing.

MISRA has been widely adopted in the automotive industry and is used by many companies as a standard for software development. The guidelines are regularly updated to reflect changes in technology and new best practices.

Adhering to MISRA guidelines can help automotive companies improve the safety and reliability of their vehicles, reduce the risk of software-related defects, and ensure compliance with industry regulations and standards.

Importance of Misra in Automotive Industry

Following MISRA standards in the automotive industry is important for several reasons:

  1. Safety and reliability: The automotive industry is highly safety-critical, and the consequences of software failures in vehicles can be severe. Following MISRA standards helps ensure that software is reliable, safe, and of high quality, which in turn can improve the safety of vehicles and reduce the risk of accidents.
  2. Regulatory compliance: Automotive companies are subject to various regulations and standards, such as ISO 26262, which requires that software used in safety-critical systems meet certain requirements. Adhering to MISRA standards can help companies demonstrate compliance with these regulations and standards.
  3. Industry best practices: MISRA standards are developed by industry experts and reflect best practices for software development in the automotive industry. Following these standards can help companies improve their development processes, reduce the risk of software-related defects, and ensure that their products meet industry standards and customer expectations.
  4. Cost savings: Detecting and fixing software defects can be expensive and time-consuming. Following MISRA standards can help companies identify defects early in the development process, which can reduce the cost and time required for testing and debugging.

Following MISRA standards is an important part of software development in the automotive industry and can help ensure that software is safe, reliable, and of high quality.

Various versions of Misra

There are several versions of the MISRA coding standard, each of which specifies a set of rules and recommendations for developing safe and reliable software. Here are the major versions of the MISRA standard and their differences:

  • MISRA C:1998: This was the first version of the MISRA coding standard, published in 1998. It provides guidelines for developing software in the C programming language. It includes 127 rules, which cover topics such as data types, control structures, and error handling.
  • MISRA C:2004: This version of the MISRA coding standard was published in 2004 and updates the previous version. It includes 142 rules, which cover topics such as memory allocation, type conversions, and function parameters. It also includes a set of guidelines for software development processes, such as requirements management and testing.
  • MISRA C:2012: This is the most recent version of the MISRA coding standard for the C programming language, published in 2012. It includes 143 rules, which cover topics such as dynamic memory allocation, bitwise operations, and concurrency. It also includes a set of guidelines for software development processes, such as configuration management and quality assurance.
  • MISRA C++:2008: This version of the MISRA coding standard provides guidelines for developing software in the C++ programming language. It includes 120 rules, which cover topics such as inheritance, templates, and exceptions.
  • MISRA C++:2019: This is the most recent version of the MISRA coding standard for the C++ programming language, published in 2019. It includes 238 rules, which cover topics such as lambda expressions, smart pointers, and range-based loops.

The main differences between the different versions of the MISRA standard are the number and content of the rules, as well as the topics covered. The newer versions of the standard generally include more rules and cover more topics than the older versions. The latest version of each standard is generally considered to be the most comprehensive and up-to-date, reflecting the latest best practices in software development.

How to develop a MISRA compliant Code

Developing MISRA compliant source code involves following a set of guidelines and best practices to ensure that the code is safe, reliable, and of high quality. Here are some steps that can help in developing MISRA compliant source code:

  1. Understand the MISRA guidelines: Familiarize yourself with the MISRA guidelines and understand how they apply to your project. The guidelines cover a range of topics, including coding style, software architecture, and testing.
  2. Use an approved coding standard: Use an approved coding standard that is compliant with the MISRA guidelines, such as MISRA C or MISRA C++. These coding standards provide a set of rules and recommendations that help ensure that the code is safe, reliable, and of high quality.
  3. Apply coding style rules: Follow the coding style rules specified by the coding standard. This includes rules related to naming conventions, indentation, and comments. The goal is to make the code readable and maintainable.
  4. Use safe coding practices: Follow safe coding practices, such as avoiding undefined behavior, using safe libraries, and avoiding non-portable code. These practices help ensure that the code is safe and reliable.
  5. Use automated tools: Use automated tools such as static analysis tools and code review tools to help ensure that the code is compliant with the MISRA guidelines. These tools can detect violations of the guidelines and suggest corrective actions.
  6. Test the code: Test the code thoroughly to ensure that it is reliable and safe. This includes unit testing, integration testing, and system testing.

By following these steps, you can develop MISRA compliant source code that is safe, reliable, and of high quality.

Test the Code for MISRA compliance

There are several methods you can use to test whether your code is MISRA compliant or not. Here are some options:

  1. Manual code review: You can manually review your code against the MISRA guidelines to check for compliance. This involves reviewing each line of code to ensure that it follows the rules and recommendations specified by the MISRA coding standard. This can be time-consuming, but it is an effective way to ensure compliance.
  2. Static analysis tools: There are several static analysis tools available that can help you check your code for MISRA compliance. These tools analyze the code automatically and report any violations of the MISRA guidelines. Some popular static analysis tools that support MISRA compliance include Klocwork, QA-Misra, Understand.
  3. Automated code review tools: Some integrated development environments (IDEs) include automated code review tools that can help you check your code for MISRA compliance. These tools scan your code as you write it and highlight any violations of the MISRA guidelines. For example, MISRA Checker is an Eclipse-based plugin that can help you enforce MISRA compliance. Klocwork – Static Code Analysis Tool has such feature.
  4. Third-party audit: You can hire a third-party company to audit your code for MISRA compliance. This can be an expensive option, but it can provide an independent assessment of your code’s compliance with the MISRA guidelines.

By using one or more of these methods, you can test whether your code is MISRA compliant or not. It is important to ensure that your code is compliant with the MISRA guidelines to ensure the safety, reliability, and quality of your software.

Check MISRA compliance with Klocwork

Klocwork is a popular static analysis tool that can help you check your code for MISRA compliance. Here are the steps to check MISRA compliance with Klocwork:

  1. Install Klocwork: First, install Klocwork on your development machine. Klocwork is available for Windows, Linux, and macOS platforms.
  2. Configure Klocwork: Once Klocwork is installed, configure it to check your code for MISRA compliance. This involves selecting the MISRA standard that you want to check your code against, such as MISRA C:2004, MISRA C:2012 or MISRA C++:2008.
  3. Run Klocwork analysis: Next, run the Klocwork analysis on your code. Klocwork will scan your code and report any violations of the MISRA guidelines. The results of the analysis will be displayed in the Klocwork user interface. Klocwork analysis can be done at developer machine as well. Klocwork has wide range of plugin support for IDEs.
  4. Review Klocwork results: Review the Klocwork results to identify any violations of the MISRA guidelines. Klocwork will provide detailed information about each violation, including the location of the violation in the code, the rule that was violated, and a description of the violation.
  5. Correct violations: Once you have identified the violations of the MISRA guidelines, correct them in your code. This may involve modifying the code to follow the MISRA guidelines, or documenting a justification for why the code is not compliant.
  6. Re-run Klocwork analysis: After you have corrected the violations, re-run the Klocwork analysis to ensure that your code is now MISRA compliant. Repeat the process until all violations have been corrected.

By following these steps, you can use Klocwork to check your code for MISRA compliance. Klocwork is a powerful tool that can help you ensure that your code is safe, reliable, and of high quality. Get you free trail of Klocwork from here.

Sample Misra Compliance Report

A MISRA compliance report is a document that provides a summary of the results of a software code analysis against the MISRA guidelines. The report typically includes information such as the name of the project being analyzed, the development team responsible for the code, the date of analysis, the tool used for analysis, and the summary of the results.

The summary of the results usually includes the total number of violations and warnings, as well as the total number of guidelines checked. The report may also provide details of each violation or warning, including the rule number of the violated guideline, the description of the violation, and the location of the violation in the code.

Sample Misra Compliance Report – 1 from Klocwork
Sample Misra Compliance Report – 2 from Klocwork

MISRA compliance reports are typically generated by software development teams that are required to follow the MISRA coding standards, such as those in the automotive industry. The report helps the team to identify areas of the code that do not comply with the standards and take necessary steps to address those issues.

How to get a Free Trail of Klocwork

The trial license of Klocwork can help you understand how the tool works and how it can help your team ensure compliance with MISRA standards. “Ready to experience the power of Klocwork firsthand? Sign up for a free trial today and see how Klocwork innovative solution can transform your business. With no obligation and no risk, there’s nothing to lose and everything to gain.

Don’t wait – start your free trial now!”.

Categories
Uncategorized

Klocwork – Advanced Static Code Analysis Tool

Klocwork is a static code analysis tool used in software development to detect and report potential security vulnerabilities, code defects, and quality issues early in the development process. It analyzes source code without executing it and identifies potential problems by analyzing the dataflow, structure, syntax, and logic of the code.

Klocwork is used by software developers and development teams to improve code quality, reduce the risk of security vulnerabilities and defects, and optimize software performance. Klocwork supports multiple programming languages including C, C++, C#, Java, JayaScript, Kotlin and Python, and integrates with various development environments and build systems. It also provides detailed reports and actionable insights to help developers understand and address potential issues in their code.

Klocwork demo. Register here to get started with the free trail version of Klocwork.

The benefits of using Klocwork in software development include:

  • Improved code quality: Klocwork helps identify and eliminate potential defects and vulnerabilities early in the development process, improving the overall quality of the code.
  • Increased productivity: By detecting issues before code is deployed, Klocwork helps developers save time and effort that would otherwise be spent debugging and fixing problems later in the development cycle.
  • Reduced risk: Klocwork helps mitigate the risk of security vulnerabilities and other critical issues that can lead to system failures or data breaches.
  • Compliance with industry standards: Klocwork provides support for various industry standards such as MISRA, Autosar, OWASP, CERT C/C++, PCI-DSS and CWE, helping developers ensure compliance with coding best practices and guidelines.
  • Better collaboration: Klocwork integrates with various development environments and tools, facilitating better collaboration among development teams, and making it easier to share knowledge and resolve issues.
  • Continuous improvement: Klocwork provides feedback on code quality and identifies potential areas for improvement, helping development teams to continuously improve the quality of their code.

Using Klocwork can help improve the efficiency, reliability, and security of software development, while reducing costs and increasing customer satisfaction.

Klocwork can detect various categories of defects in software code, including:

  • Security vulnerabilities: Klocwork can detect potential security vulnerabilities such as buffer overflows, SQL injection, cross-site scripting (XSS), and authentication issues.
  • Memory management issues: Klocwork can detect potential memory management issues such as memory leaks, null pointer dereferences, and dangling pointers.
  • Concurrency issues: Klocwork can detect potential concurrency issues such as race conditions, deadlock, and thread safety violations.
  • Coding standards violations: Klocwork can detect violations of coding standards and best practices such as naming conventions, indentation, and formatting.
  • Complexity issues: Klocwork can detect potential complexity issues such as long methods, high cyclomatic complexity, and nested loops.
  • Performance issues: Klocwork can detect potential performance issues such as inefficient algorithms, unnecessary memory allocation, and excessive I/O operations.
  • Error handling issues: Klocwork can detect potential error handling issues such as ignored error codes, unhandled exceptions, and incorrect use of return values.

Klocwork can help detect a wide range of potential defects and vulnerabilities in software code, enabling developers to improve the quality, security, and performance of their applications.

Some of the unique features of Klocwork include:

SmartRank technology: Klocwork uses SmartRank technology to prioritize and categorize detected issues based on their severity, frequency, and potential impact, helping developers focus on the most critical issues first.

Cross-project analysis: Klocwork can analyze multiple projects and codebases simultaneously, providing a holistic view of code quality and potential issues across the entire organization.

Customizable checkers: Klocwork allows developers to create and customize checkers to meet their specific needs, enabling them to address unique coding standards or security requirements.

Data flow analysis: Klocwork uses data flow analysis to detect potential security vulnerabilities and other issues related to the flow of data within the code, helping to ensure that sensitive data is protected and properly managed.

Incremental analysis: Klocwork can perform incremental analysis, meaning it only analyzes changes made to code since the last analysis, reducing analysis time and enabling faster feedback on code changes.

Integration with development tools: Klocwork integrates with various development tools, including IDEs, build systems, and code repositories, allowing developers to easily incorporate static code analysis into their existing workflows.

Like above Klocwork offers a range of powerful features that can help developers improve code quality, reduce the risk of security vulnerabilities, and optimize software performance.

Adopting Klocwork in a DevOps environment can be relatively easy, depending on the specific setup and requirements of the organization. Here are some factors that can affect the ease of adopting Klocwork in a DevOps environment:

Integration with existing tools: Klocwork integrates with various development tools, including IDEs, build systems, and code repositories. If the organization is already using these tools, integrating Klocwork can be straightforward, as developers can continue to use their familiar workflows.

Automation and CI/CD pipelines: Klocwork can be integrated into automated build and deployment pipelines, enabling developers to perform static code analysis as part of the development process. This can help identify issues earlier and reduce the time required for manual testing and debugging.

Customization: Depending on the specific requirements of the organization, Klocwork may need to be customized to meet unique coding standards or security requirements. Klocwork documentaion and support team can be of use here.

Overall, adopting Klocwork in a DevOps environment can be relatively easy, particularly if the organization is already using compatible development tools and has a strong culture of automation and continuous improvement.

Register here to get a free trail of Klocwork.

Categories
Uncategorized

Handling Software Security Risks

Hackers are tireless, innovative, motivated.  They are an unfortunate reality of the software and applications industry today.  From automotive to medical to consumer products and more.

The potential for their efforts to result in real risks and failures is well documented. If your software fails, people are going to hear about it.  It will cost your company time, money, reputation, etc.  And it goes without saying that you would not want to be the individual or team responsible for any of that. Klocwork can help you mitigate those risks, cost effectively.

Software Security Vulnerability attacks

Software Security Risks are Well Documented,

  • Patriot missile specification called for aircraft speeds and was designed to work continuously for 14 hours
  • In gulf war it was used continuously for 100 hours against missiles which have speeds up-to Mach 6.
  • Iraqi missile escaped this system because of low precision and resulted in 28 deaths and 90 wounded
  • On June 3, 1980, NORAD reported that US was under missile attack. This happened because of an incorrect signal being generated, this could have triggered Nuclear war between US and USSR
  • Several cancer patients die due to overdose of radiation resulting from a race condition between concurrent tasks in Therac-25 software

An advanced powerful Static Code Analysis Tool can detect the real security vulnerabilities at the time of development.

Software Defects can be Dangerous

Possible World war 3 : In 1980, NORAD reported that the US was under missile attack. The problem was caused by a faulty circuit, a possibility the reporting software hadn’t taken into account. In 1983, a Soviet satellite reported incoming US missiles, but the officer in charge decided to follow his gut feeling that it was a false alarm and decided to do nothing.

Medical Devices: The Therac-25 medical radiation therapy device was involved in several cases where massive overdoses of radiation were administered to patients in 1985-87 due to software defect Many patients died due to overdoses.

“How do we improve code quality and how to improve code security: Easiest one is “Static Code analysis“”

What is Static Code analysis

Static code analysis is a method of debugging by examining source code before a program is run. It’s done by analyzing a set of code against a set (or multiple sets) of coding rules.

Why Static code analysis,

  • Can review source code methodically and find real defects in the code
  • Can follow Coding standards and RCA learning
  • Can find most common defects at desktop
  • 100% Code coverage
  • Manual Code review effectiveness goes up

Klocwork is an advanced static code analysis tool that can detect almost all the real coding vulnerabilities in the code.

Klocwork Introduction

Klocwork – Kilo lines Of Code Work

  • Klocwork is a static code analysis tool used to identify security, safety and reliability issues in C, C++, Java and C# code. The product includes numerous desktop plug-ins for developers, metrics and reporting.
  • Static Code Analysis on-the-fly, to identify issues at the earliest possible point
  • Continuous Integration to maximize scalability and performance for multiple concurrent analysis at a time
  • Application Security to prevent malicious attacks
  • Validation of Industrial standards to check the industry (Misra, Autosar, CERT, etc..,) and internal coding guidelines
  • Reporting and Metrics to understand and prioritize issues across the entire team
  • Code Review to get teams working faster towards delivering the best code possible

Klocwork – Advanced 3rd Generation Static code analyser

It starts at the developer’s desktop. It’s here where code is written, tested, reviewed, and written again. Finding problems here, at the earliest possible point before the build, means less testing later on and fewer downstream impacts to cost and schedule.

Klocwork has direct plugin available for Visual Studio, Eclipse, Windriver, IntelliJIidea and Eclipse based IDEs*. Klocwork has its own IDE/GUI as well that can help developer to find and fix the possible vulnerabilities at the time of creation.

Evaluation of Static Code Analysis – Klocwork is compatible to be used as any generation Static Code Analysis Tool .

Advantages of Klocwork at desktop,

  • Improves coding practices
    • Alerts the developer immediately when they enter a defect
    • Provides entire path from “source to sink” of how the issue occurs
    • Provide help on how to remedy
    • Provides links to the specific coding standards that may be violated
    • Allows you to edit and customize that advice with simple HTML editing.
    • The key is that not only do we help the developer, by telling them immediately it is an excellent “teachable moment.”    
  • Finally, since the developer makes the fix immediately, your code base is never impacted.
What not to do in this modern world

These days, we are used to having a spell-checker that works away, in the background, as we work on within our document editors. It would now seem rather alien and rather inefficient to return to having to spell-check a document on a button press, only when we were finished writing it. The same applies for code writing and SCA.

This technology is only possible with Klocwork – Static Code Analysis Tool. Thanks to Klocwork’s ability to perform partial, incremental, connected builds.

Klocwork static application security testing (SAST) for C, C++, Java and C# can identify software security, quality, and reliability issues and it can help organisations to enforce compliance with industry standards. Klocwork can perform Dataflow Analysis, Syntax Analysis and Symbolic Logic Analysis to analyse the source code for vulnerabilities. Register here for Klocwork Trail, https://meteonic.com/contact-us or send a mail to support@meteonic.com