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.
