You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Current »

MISRA

Parasoft C/C++test incorporates content copied from and components developed based on the following documents:

  • Guidelines for the use of the C language in vehicle based systems (MISRA C:1998) © The MISRA Consortium Limited 2007 
  • Guidelines for the use of the C language in critical systems (MISRA C:2004) © The MISRA Consortium Limited 2004
  • Guidelines for the use of the C language in critical systems (MISRA C:2012) © The MISRA Consortium Limited 2019
  • Guidelines for the use of the C++ language in critical systems (MISRA C++:2008) © The MISRA Consortium Limited 2008
  • Guidelines for the use of the C++ language in critical systems (Public Review Draft of MISRA C++:202X) © The MISRA Consortium Limited 2022

This includes test configurations and static analysis rules.

Note: "MISRA", "MISRA C" and the triangle logo are registered trademarks of The MISRA Consortium Limited.

Third-party software

This product uses the following open source software:

abort-controller

This software is used under a MIT License.

adm-zip

This software is used under a MIT License.

Aga.Controls

This software is used under a BSD-1-Clause License.

angular

This software is used under a MIT License.

angular-animate

This software is used under a MIT License.

angular-dragdrop

This software is used under a MIT License.

angular-file-upload-shim

This software is used under a MIT License.

angular-sanitize

This software is used under a MIT License.

angular-toastr

This software is used under a MIT License.

angular-translate

This software is used under a MIT License.

angular-translate-loader-url

This software is used under a MIT License.

angular-ui-bootstrap

This software is used under a MIT License.

angularjs

This software is used under a MIT License.

animal-sniffer-annotations

This software is used under a MIT License.

ant

This software is used under a Apache-2.0 License.

ant-launcher

This software is used under a Apache-2.0 License.

antlr-runtime

This software is used under a BSD-3-Clause License.

aopalliance-repackaged

This software is used under a EPL-2.0 License.

apache-mime4j-core

This software is used under a Apache-2.0 License.

applicationinsights-core

This software is used under a MIT License.

argparse

This software is used under a Python-2.0 License.

args4j

This software is used under a MIT License.

asm

This software is used under a BSD-3-Clause License.

asm-analysis

This software is used under a BSD-3-Clause License.

asm-commons

This software is used under a BSD-3-Clause License.

asm-tree

This software is used under a BSD-3-Clause License.

asm-util

This software is used under a BSD-3-Clause License.

asynckit

This software is used under a MIT License.

at-least-node

This software is used under a ISC License.

atob

This software is used under a Apache-2.0 License.

auth-token

This software is used under a MIT License.

avro

This software is used under a Apache-2.0 License.

avrocpp

This software is used under a Apache-2.0 License.

axiom-api

This software is used under a Apache-2.0 License.

axiom-dom

This software is used under a Apache-2.0 License.

axiom-impl

This software is used under a Apache-2.0 License.

axis2-adb

This software is used under a Apache-2.0 License.

axis2-jaxws

This software is used under a Apache-2.0 License.

axis2-kernel

This software is used under a Apache-2.0 License.

axis2-transport-http

This software is used under a Apache-2.0 License.

axis2-transport-local

This software is used under a Apache-2.0 License.

axis2-transport-tcp

This software is used under a Apache-2.0 License.

Azul Zulu OpenJDK JRE

This software is used under a GPL-2.0-with-classpath-exception License.

azure-devops-node-api

This software is used under a MIT License.

base64-arraybuffer

This software is used under a MIT License.

batik-all

This software is used under a Apache-2.0 License.

bc-fips

This software is used under a MIT License.

bcprov-jdk15on

This software is used under a MIT License.

bctls-fips

This software is used under a MIT License.

before-after-hook

This software is used under a Apache-2.0 License.

boost

This software is used under a BSL-1.0 License.

Boost

This software is used under a BSL-1.0 License.

bootstrap

This software is used under a MIT License.

botan

This software is used under a BSD-2-Clause License.

btoa

This software is used under a Apache-2.0 License.

cacheable-lookup

This software is used under a MIT License.

cacheable-request

This software is used under a MIT License.

call-bind

This software is used under a MIT License.

checker-qual

This software is used under a MIT License.

class-model

This software is used under a EPL-2.0 License.

classmate

This software is used under a Apache-2.0 License.

clips

This software is used under a CLIPS License.

clone-response

This software is used under a MIT License.

combined-stream

This software is used under a MIT License.

commons-beanutils

This software is used under a Apache-2.0 License.

commons-codec

This software is used under a Apache-2.0 License.

commons-collections

This software is used under a Apache-2.0 License.

commons-collections4

This software is used under a Apache-2.0 License.

commons-compress

This software is used under a Apache-2.0 License.

commons-configuration2

This software is used under a Apache-2.0 License.

commons-digester

This software is used under a Apache-2.0 License.

commons-discovery

This software is used under a Apache-2.0 License.

commons-fileupload

This software is used under a Apache-2.0 License.

commons-io

This software is used under a Apache-2.0 License.

commons-lang

This software is used under a Apache-2.0 License.

commons-lang3

This software is used under a Apache-2.0 License.

commons-logging

This software is used under a Apache-2.0 License.

commons-math3

This software is used under a Apache-2.0 License.

commons-text

This software is used under a Apache-2.0 License.

commons-validator

This software is used under a Apache-2.0 License.

commons-vfs2

This software is used under a Apache-2.0 License.

ConvertUTF.cc/.h

This software is used under a Unicode Consortium License.

core

This software is used under a MIT License.

core-aspects

This software is used under a Apache-2.0 License.

cppcoro

This software is used under a MIT License.

cryptopp

This software is used under a BSL-1.0 License.

css-line-break

This software is used under a MIT License.

curvesapi

This software is used under a BSD-3-Clause License.

debug

This software is used under a MIT License.

decode-uri-component

This software is used under a MIT License.

decompress-response

This software is used under a MIT License.

defer-to-connect

This software is used under a MIT License.

delay

This software is used under a MIT License.

delayed-stream

This software is used under a MIT License.

deprecation

This software is used under a ISC License.

Diff Template Library

This software is used under a BSD-3-Clause License.

dom-aspects

This software is used under a Apache-2.0 License.

dompurify

This software is used under a Apache-2.0 License.

Eclipse C/C++ Development Tooling

This software is used under a EPL-2.0 License.

Eclipse Platform

This software is used under a EPL-2.0 License.

end-of-stream

This software is used under a MIT License.

endpoint

This software is used under a MIT License.

entities

This software is used under a BSD-2-Clause License.

error_prone_annotations

This software is used under a Apache-2.0 License.

ev-emitter

This software is used under a MIT License.

event-target-shim

This software is used under a MIT License.

eventsource

This software is used under a MIT License.

failureaccess

This software is used under a Apache-2.0 License.

faye-websocket

This software is used under a Apache-2.0 License.

FESI

This software is used under a LGPL-2.1-only License.

FileAPI

This software is used under a BSD-2-Clause License.

filter-obj

This software is used under a MIT License.

fluent-hc

This software is used under a Apache-2.0 License.

fontawesome-pro

This software is used under a Font Awesome License.

fop

This software is used under a Apache-2.0 License.

form-data

This software is used under a MIT License.

freemarker

This software is used under a Apache-2.0 License.

fs-extra

This software is used under a MIT License.

fst

This software is used under a LGPL-2.1-only License.

function-bind

This software is used under a MIT License.

get-intrinsic

This software is used under a MIT License.

get-stream

This software is used under a MIT License.

Go Programming Language

This software is used under a BSD-3-Clause License.

got

This software is used under a MIT License.

graceful-fs

This software is used under a ISC License.

graphql

This software is used under a MIT License.

groovy-all

This software is used under a Apache-2.0 License.

guava

This software is used under a Apache-2.0 License.

handlebars

This software is used under a MIT License.

has

This software is used under a MIT License.

has-symbols

This software is used under a MIT License.

hibernate-validator

This software is used under a Apache-2.0 License.

hk2

This software is used under a EPL-2.0 License.

hk2-api

This software is used under a EPL-2.0 License.

hk2-core

This software is used under a EPL-2.0 License.

hk2-locator

This software is used under a EPL-2.0 License.

hk2-runlevel

This software is used under a EPL-2.0 License.

hk2-utils

This software is used under a EPL-2.0 License.

html2canvas

This software is used under a MIT License.

http-cache-semantics

This software is used under a MIT License.

http-parser-js

This software is used under a MIT License.

http-timer

This software is used under a MIT License.

http2-wrapper

This software is used under a MIT License.

httpclient

This software is used under a Apache-2.0 License.

httpclient-cache

This software is used under a Apache-2.0 License.

httpcore

This software is used under a Apache-2.0 License.

httpmime

This software is used under a Apache-2.0 License.

IKVM

This software is used under a GPL-2.0-with-classpath-exception License.

imagesloaded

This software is used under a MIT License.

inherits

This software is used under a ISC License.

is

This software is used under a MIT License.

is-plain-object

This software is used under a MIT License.

istack-commons-runtime

This software is used under a CDDL-1.1 License.

j2objc-annotations

This software is used under a Apache-2.0 License.

jackson-annotations

This software is used under a Apache-2.0 License.

jackson-core

This software is used under a Apache-2.0 License.

jackson-databind

This software is used under a Apache-2.0 License.

jackson-jakarta-rs-base

This software is used under a Apache-2.0 License.

jackson-jakarta-rs-json-provider

This software is used under a Apache-2.0 License.

jackson-module-jaxb-annotations

This software is used under a Apache-2.0 License.

jakarta.activation

This software is used under a BSD-3-Clause License.

jakarta.activation-api

This software is used under a BSD-3-Clause License.

jakarta.annotation-api

This software is used under a EPL-2.0 License.

jakarta.el

This software is used under a EPL-2.0 License.

jakarta.el-api

This software is used under a EPL-2.0 License.

jakarta.inject

This software is used under a EPL-2.0 License.

jakarta.inject-api

This software is used under a Apache-2.0 License.

jakarta.jws-api

This software is used under a BSD-3-Clause License.

jakarta.validation-api

This software is used under a Apache-2.0 License.

jakarta.ws.rs-api

This software is used under a EPL-2.0 License.

jakarta.xml.bind-api

This software is used under a BSD-3-Clause License.

java-object-diff

This software is used under a Apache-2.0 License.

java-sizeof

This software is used under a Apache-2.0 License.

javassist

This software is used under a MPL-1.1 License.

javax.activation

This software is used under a CDDL-1.0 License.

javax.activation-api

This software is used under a CDDL-1.0 License.

javax.mail

This software is used under a CDDL-1.1 License.

javax.servlet-api

This software is used under a CDDL-1.0 License.

javax.xml.soap-api

This software is used under a CDDL-1.1 License.

jaxb-api

This software is used under a CDDL-1.1 License.

jaxb-core

This software is used under a CDDL-1.0 License.

jaxb-impl

This software is used under a CDDL-1.0 License.

jaxb-runtime

This software is used under a CDDL-1.0 License.

jaxws-api

This software is used under a CDDL-1.1 License.

jboss-logging

This software is used under a Apache-2.0 License.

jchardet

This software is used under a MPL-1.1 License.

jcl-over-slf4j

This software is used under a Apache-2.0 License.

jcommon

This software is used under a LGPL-2.1-only License.

jcs

This software is used under a Apache-2.0 License.

jersey-bean-validation

This software is used under a EPL-2.0 License.

jersey-client

This software is used under a EPL-2.0 License.

jersey-common

This software is used under a EPL-2.0 License.

jersey-container-servlet

This software is used under a EPL-2.0 License.

jersey-container-servlet-core

This software is used under a EPL-2.0 License.

jersey-entity-filtering

This software is used under a EPL-2.0 License.

jersey-hk2

This software is used under a EPL-2.0 License.

jersey-media-json-jackson

This software is used under a EPL-2.0 License.

jersey-proxy-client

This software is used under a EPL-2.0 License.

jersey-server

This software is used under a EPL-2.0 License.

jersey-spring5

This software is used under a EPL-2.0 License.

jffi

This software is used under a Apache-2.0 License.

jfreechart

This software is used under a LGPL-2.1-only License.

jline

This software is used under a BSD-2-Clause License.

jnr-constants

This software is used under a Apache-2.0 License.

jnr-ffi

This software is used under a Apache-2.0 License.

jnr-netdb

This software is used under a Apache-2.0 License.

jnr-posix

This software is used under a EPL-2.0 License.

joda-time

This software is used under a Apache-2.0 License.

jquery

This software is used under a MIT License.

jquery-ui-dist

This software is used under a MIT License.

jschardet

This software is used under a LGPL-2.1+ License.

json

This software is used under a JSON License.

json-buffer

This software is used under a MIT License.

json-for-modern-cpp

This software is used under a MIT License.

json-simple

This software is used under a Apache-2.0 License.

jsonfile

This software is used under a MIT License.

jsr305

This software is used under a Apache-2.0 License.

jython-standalone

This software is used under a PSF-2.0 License.

KeyJava

This software is used under a CC-BY-ND-3.0 License.

keyv

This software is used under a MIT License.

ktable

This software is used under a EPL-1.0 License.

li

This software is used under a MIT License.

lib

This software is used under a CDDL-1.0 License.

libbacktrace

This software is used under a BSD-3-Clause License.

libstdc++

This software is used under a GPL-3.0-with-GCC-exception License.

linkify-it

This software is used under a MIT License.

listenablefuture

This software is used under a Apache-2.0 License.

log4cplus

This software is used under a Apache-2.0 License.

log4cplus_bsd

This software is used under a BSD-2-Clause License.

log4j-api

This software is used under a Apache-2.0 License.

log4j-core

This software is used under a Apache-2.0 License.

log4net

This software is used under a Apache-2.0 License.

logback-classic

This software is used under a EPL-1.0 License.

logback-core

This software is used under a EPL-1.0 License.

lowercase-keys

This software is used under a MIT License.

lucene-core

This software is used under a Apache-2.0 License.

markdown-it

This software is used under a MIT License.

markdown-it-anchor

This software is used under a Unlicense License.

mdurl

This software is used under a MIT License.

Microsoft Visual C++ Redistributable Libraries

This software is used under a Microsoft Software License Terms for Visual Studio 2019.

mime

This software is used under a MIT License.

mime-db

This software is used under a MIT License.

mime-types

This software is used under a MIT License.

mimepull

This software is used under a BSD-3-Clause License.

mimic-response

This software is used under a MIT License.

ModevJava

This software is used under a CC-BY-ND-3.0 License.

moment

This software is used under a MIT License.

ms

This software is used under a MIT License.

neethi

This software is used under a Apache-2.0 License.

Newtonsoft.Json

This software is used under a MIT License.

ng-file-upload

This software is used under a MIT License.

ng-tags-input

This software is used under a MIT License.

node

This software is used under a MIT License.

node-fetch

This software is used under a MIT License.

normalize-url

This software is used under a MIT License.

object-inspect

This software is used under a MIT License.

om-aspects

This software is used under a Apache-2.0 License.

once

This software is used under a ISC License.

openapi-types

This software is used under a MIT License.

org.apache.felix.framework

This software is used under a Apache-2.0 License.

org.apache.felix.main

This software is used under a Apache-2.0 License.

org.apache.felix.scr

This software is used under a Apache-2.0 License.

org.eclipse.emf.common

This software is used under a EPL-1.0 License.

org.eclipse.emf.ecore

This software is used under a EPL-1.0 License.

org.eclipse.emf.ecore.xmi

This software is used under a EPL-1.0 License.

org.eclipse.rmf.reqif10

This software is used under a EPL-1.0 License.

org.eclipse.rmf.reqif10.common

This software is used under a EPL-1.0 License.

org.eclipse.rmf.reqif10.serialization

This software is used under a EPL-1.0 License.

org.eclipse.sphinx.emf.serialization

This software is used under a EPL-1.0 License.

org.suigeneris.jrcs.diff

This software is used under a LGPL-2.1-only License.

osgi-resource-locator

This software is used under a EPL-2.0 License.

p-cancelable

This software is used under a MIT License.

Parsifal XML Parser

This software is used under a Parsifal License.

PCRE - Perl Compatible Regular Expressions

Regular expression support is provided by the PCRE library package, which is open source software, written by Philip Hazel, and copyright by the University of Cambridge, England. ftp://ftp.csx.cam.ac.uk/pub/software/programming/pcre/
This software is used under a PCRE License.

pegtl

This software is used under a BSL-1.0 License.

picocli

This software is used under a Apache-2.0 License.

plexus-classworlds

This software is used under a Apache-2.0 License.

plugin-paginate-rest

This software is used under a MIT License.

plugin-request-log

This software is used under a MIT License.

plugin-rest-endpoint-methods

This software is used under a MIT License.

poi

This software is used under a Apache-2.0 License.

poi-ooxml

This software is used under a Apache-2.0 License.

poi-ooxml-schemas

This software is used under a Apache-2.0 License.

pretty-bytes

This software is used under a MIT License.

pugixml

This software is used under a MIT License.

pump

This software is used under a MIT License.

python

This software is used under a Python-2.0 License.

qs

This software is used under a BSD-3-Clause License.

qtip2

This software is used under a MIT License.

query-string

This software is used under a MIT License.

querystringify

This software is used under a MIT License.

quick-lru

This software is used under a MIT License.

request

This software is used under a MIT License.

request-error

This software is used under a MIT License.

requester-utils

This software is used under a MIT License.

requires-port

This software is used under a MIT License.

reset-css

This software is used under a Unlicense License.

resolve-alpn

This software is used under a MIT License.

responselike

This software is used under a MIT License.

rest

This software is used under a MIT License.

rgbcolor

This software is used under a MIT License.

safe-buffer

This software is used under a MIT License.

sax

This software is used under a ISC License.

saxon

This software is used under a MPL-1.0 License.

shared-aspects

This software is used under a Apache-2.0 License.

side-channel

This software is used under a MIT License.

slf4j-api

This software is used under a MIT License.

slf4j-jdk14

This software is used under a MIT License.

sockjs-client

This software is used under a MIT License.

spdlog

This software is used under a MIT License.

spdlog_setup

This software is used under a MIT License.

split-on-first

This software is used under a MIT License.

spotbugs-annotations

This software is used under a LGPL-2.1-only License.

spring-aop

This software is used under a Apache-2.0 License.

spring-beans

This software is used under a Apache-2.0 License.

spring-boot

This software is used under a Apache-2.0 License.

spring-boot-autoconfigure

This software is used under a Apache-2.0 License.

spring-boot-jarmode-layertools

This software is used under a Apache-2.0 License.

spring-bridge

This software is used under a EPL-2.0 License.

spring-context

This software is used under a Apache-2.0 License.

spring-core

This software is used under a Apache-2.0 License.

spring-expression

This software is used under a Apache-2.0 License.

spring-jcl

This software is used under a Apache-2.0 License.

spring-messaging

This software is used under a Apache-2.0 License.

spring-security-core

This software is used under a Apache-2.0 License.

spring-security-crypto

This software is used under a Apache-2.0 License.

spring-web

This software is used under a Apache-2.0 License.

spring-webmvc

This software is used under a Apache-2.0 License.

spring-websocket

This software is used under a Apache-2.0 License.

stax-utils

This software is used under a BSD-2-Clause License.

stax2-api

This software is used under a BSD-2-Clause License.

StreamJsonRpc

This software is used under a MIT License.

StreamJsonRpc.resources

This software is used under a MIT License.

strict-uri-encode

This software is used under a MIT License.

tomcat-annotations-api

This software is used under a Apache-2.0 License.

tomcat-embed-core

This software is used under a Apache-2.0 License.

tomcat-embed-websocket

This software is used under a Apache-2.0 License.

tr46

This software is used under a MIT License.

trilead-ssh2

This software is used under a BSD-3-Clause License.

truezip

This software is used under a Apache-2.0 License.

tunnel

This software is used under a MIT License.

txw2

This software is used under a CDDL-1.0 License.

typed-rest-client

This software is used under a MIT License.

types

This software is used under a MIT License.

uc.micro

This software is used under a MIT License.

underscore

This software is used under a MIT License.

unikey

This software is used under a CC-BY-ND-3.0 License.

universal-user-agent

This software is used under a ISC License.

universalify

This software is used under a MIT License.

url-parse

This software is used under a MIT License.

vscode-extension-telemetry

This software is used under a MIT License.

vswhere

This software is used under a MIT License.

webidl-conversions

This software is used under a BSD-2-Clause License.

websocket-driver

This software is used under a Apache-2.0 License.

websocket-extensions

This software is used under a Apache-2.0 License.

whatwg-url

This software is used under a MIT License.

woden-core

This software is used under a Apache-2.0 License.

woodstox-core-asl

This software is used under a Apache-2.0 License.

wrappy

This software is used under a ISC License.

wsdl4j

This software is used under a CPL-1.0 License.

wstx-asl

This software is used under a Apache-2.0 License.

xcase

This software is used under a MIT License.

xercesImpl

This software is used under a Apache-2.0 License.

xml-utils

This software is used under a Apache-2.0 License.

xmlbeans

This software is used under a Apache-2.0 License.

xmlgraphics-commons

This software is used under a Apache-2.0 License.

xmlschema-core

This software is used under a Apache-2.0 License.

ZedGraph

This software is used under a LGPL-2.1-only License.

zlib

This software is used under a Zlib License.

  • No labels