MISRA

Parasoft C/C++test には、以下のドキュメントからコピーされたコンテンツまたは以下のドキュメントを元に作成されたコンテンツが組み込まれています。

• 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 C++17 in critical systems (MISRA C++:2023) © The MISRA Consortium Limited 2023

これには、テスト コンフィギュレーションおよび静的解析ルールが含まれます。

注意: "MISRA"、"MISRA C" および三角形のロゴは MISRA Consortium Limited の登録商標です。

サードパーティ製のソフトウェア

abort-controller

This software is used under an MIT License.

adm-zip

This software is used under an MIT License.

Aga.Controls

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

android

This software is used under an Apache-2.0 License.

angular

This software is used under an MIT License.

angular-animate

This software is used under an MIT License.

angular-dragdrop

This software is used under an MIT License.

angular-file-upload-shim

This software is used under an MIT License.

angular-sanitize

This software is used under an MIT License.

angular-toastr

This software is used under an MIT License.

angular-translate

This software is used under an MIT License.

angular-translate-loader-url

This software is used under an MIT License.

angular-ui-bootstrap

This software is used under an MIT License.

angularjs

This software is used under an MIT License.

animal-sniffer-annotations

This software is used under an MIT License.

ant

This software is used under an Apache-2.0 License.

antlr-runtime

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

aopalliance-repackaged

This software is used under an EPL-2.0 License.

applicationinsights-core

This software is used under an MIT License.

argparse

This software is used under a Python-2.0 License.

args4j

This software is used under an 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 an MIT License.

at-least-node

This software is used under an ISC License.

atob

This software is used under an Apache-2.0 License.

auth-token

This software is used under an MIT License.

avro

This software is used under an Apache-2.0 License.

avrocpp

This software is used under an Apache-2.0 License.

axis2-jaxws

This software is used under an Apache-2.0 License.

axis2-kernel

This software is used under an 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 an MIT License.

base64-arraybuffer

This software is used under an MIT License.

batik-all

This software is used under an Apache-2.0 License.

Bazel

This software is used under an Apache-2.0 License.

bc-fips

This software is used under an MIT License.

bctls-fips

This software is used under an MIT License.

before-after-hook

This software is used under an 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 an MIT License.

botan

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

bzip2

This software is used under a bzip2-1.0.6 License.

cacheable-lookup

This software is used under an MIT License.

cacheable-request

This software is used under an MIT License.

call-bind

This software is used under an MIT License.

checker-qual

This software is used under an MIT License.

class-model

This software is used under an EPL-2.0 License.

classmate

This software is used under an Apache-2.0 License.

clips

This software is used under a Clips License License.

clone-response

This software is used under an MIT License.

combined-stream

This software is used under an MIT License.

commons-beanutils

This software is used under an Apache-2.0 License.

commons-codec

This software is used under an Apache-2.0 License.

commons-collections

This software is used under an Apache-2.0 License.

commons-collections4

This software is used under an Apache-2.0 License.

commons-compress

This software is used under an Apache-2.0 License.

commons-configuration2

This software is used under an Apache-2.0 License.

commons-digester

This software is used under an Apache-2.0 License.

commons-fileupload

This software is used under an Apache-2.0 License.

commons-io

This software is used under an Apache-2.0 License.

commons-lang

This software is used under an Apache-2.0 License.

commons-lang3

This software is used under an Apache-2.0 License.

commons-logging

This software is used under an Apache-2.0 License.

commons-math3

This software is used under an Apache-2.0 License.

commons-text

This software is used under an Apache-2.0 License.

commons-validator

This software is used under an Apache-2.0 License.

commons-vfs2

This software is used under an Apache-2.0 License.

ConvertUTF.cc/.h

This software is used under a Unicode-DFS-2016 License.

core

This software is used under an MIT License.

cppcoro

This software is used under an MIT License.

css-line-break

This software is used under an MIT License.

curvesapi

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

debug

This software is used under an MIT License.

decode-uri-component

This software is used under an MIT License.

decompress-response

This software is used under an MIT License.

defer-to-connect

This software is used under an MIT License.

delay

This software is used under an MIT License.

delayed-stream

This software is used under an MIT License.

deprecation

This software is used under an ISC License.

Diff Template Library

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

Eclipse C/C++ Development Tooling

This software is used under an EPL-2.0 License.

Eclipse Platform

This software is used under an EPL-2.0 License.

end-of-stream

This software is used under an MIT License.

endpoint

This software is used under an MIT License.

entities

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

error_prone_annotations

This software is used under an Apache-2.0 License.

ev-emitter

This software is used under an MIT License.

event-target-shim

This software is used under an MIT License.

eventsource

This software is used under an MIT License.

failureaccess

This software is used under an Apache-2.0 License.

faye-websocket

This software is used under an Apache-2.0 License.

FESI

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

FileAPI

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

filter-obj

This software is used under an MIT License.

fluent-hc

This software is used under an Apache-2.0 License.

fontawesome-pro

This software is used under a Font Awesome Pro License License.

fop-core

This software is used under an Apache-2.0 License.

fop-events

This software is used under an Apache-2.0 License.

fop-util

This software is used under an Apache-2.0 License.

form-data

This software is used under an MIT License.

freemarker

This software is used under an Apache-2.0 License.

fs-extra

This software is used under an MIT License.

fst

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

function-bind

This software is used under an MIT License.

get-intrinsic

This software is used under an MIT License.

get-stream

This software is used under an MIT License.

Go Programming Language

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

got

This software is used under an MIT License.

graceful-fs

This software is used under an ISC License.

graphql

This software is used under an MIT License.

groovy-all

This software is used under an Apache-2.0 License.

guava

This software is used under an Apache-2.0 License.

handlebars

This software is used under an MIT License.

has

This software is used under an MIT License.

has-symbols

This software is used under an MIT License.

hibernate-validator

This software is used under an Apache-2.0 License.

hk2

This software is used under an EPL-2.0 License.

hk2-api

This software is used under an EPL-2.0 License.

hk2-core

This software is used under an EPL-2.0 License.

hk2-locator

This software is used under an EPL-2.0 License.

hk2-runlevel

This software is used under an EPL-2.0 License.

hk2-utils

This software is used under an EPL-2.0 License.

html2canvas

This software is used under an MIT License.

http-cache-semantics

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

http-parser-js

This software is used under an MIT License.

http-timer

This software is used under an MIT License.

http2-wrapper

This software is used under an MIT License.

httpasyncclient

This software is used under an Apache-2.0 License.

httpclient

This software is used under an Apache-2.0 License.

httpclient-cache

This software is used under an Apache-2.0 License.

httpcore

This software is used under an Apache-2.0 License.

httpcore-nio

This software is used under an Apache-2.0 License.

httpmime

This software is used under an Apache-2.0 License.

IKVM

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

imagesloaded

This software is used under an MIT License.

inherits

This software is used under an ISC License.

is

This software is used under an MIT License.

is-plain-object

This software is used under an MIT License.

isorelax

This software is used under a CDDL-1.0 License.

istack-commons-runtime

This software is used under a CDDL-1.1 License.

jackson-annotations

This software is used under an Apache-2.0 License.

jackson-core

This software is used under an Apache-2.0 License.

jackson-databind

This software is used under an Apache-2.0 License.

jackson-jakarta-rs-base

This software is used under an Apache-2.0 License.

jackson-jakarta-rs-json-provider

This software is used under an Apache-2.0 License.

jackson-module-jaxb-annotations

This software is used under an 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 an EPL-2.0 License.

jakarta.el

This software is used under an EPL-2.0 License.

jakarta.el-api

This software is used under an EPL-2.0 License.

jakarta.inject

This software is used under an EPL-2.0 License.

jakarta.inject-api

This software is used under an 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 an Apache-2.0 License.

jakarta.ws.rs-api

This software is used under an 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 an Apache-2.0 License.

java-sizeof

This software is used under an Apache-2.0 License.

javassist

This software is used under an 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.0 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.

jboss-logging

This software is used under an Apache-2.0 License.

jchardet

This software is used under an MPL-1.1 License.

jcl-over-slf4j

This software is used under an Apache-2.0 License.

jcommon

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

jcs

This software is used under an Apache-2.0 License.

jersey-bean-validation

This software is used under an EPL-2.0 License.

jersey-client

This software is used under an EPL-2.0 License.

jersey-common

This software is used under an EPL-2.0 License.

jersey-container-servlet

This software is used under an EPL-2.0 License.

jersey-container-servlet-core

This software is used under an EPL-2.0 License.

jersey-entity-filtering

This software is used under an EPL-2.0 License.

jersey-hk2

This software is used under an EPL-2.0 License.

jersey-media-json-jackson

This software is used under an EPL-2.0 License.

jersey-proxy-client

This software is used under an EPL-2.0 License.

jersey-server

This software is used under an EPL-2.0 License.

jersey-spring5

This software is used under an EPL-2.0 License.

jffi

This software is used under an Apache-2.0 License.

jfreechart

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

jline

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

jnr-constants

This software is used under an Apache-2.0 License.

jnr-ffi

This software is used under an Apache-2.0 License.

jnr-netdb

This software is used under an Apache-2.0 License.

jnr-posix

This software is used under an EPL-2.0 License.

joda-time

This software is used under an Apache-2.0 License.

jquery

This software is used under an MIT License.

jquery-ui-dist

This software is used under an MIT License.

jschardet

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

json

This software is used under a JSON License.

json-buffer

This software is used under an MIT License.

json-for-modern-cpp

This software is used under an MIT License.

json-simple

This software is used under an Apache-2.0 License.

jsonfile

This software is used under an MIT License.

jsr305

This software is used under an Apache-2.0 License.

jython-standalone

This software is used under a PSF-2.0 License.

kendo-ui

This software is used under a Telerik Commercial License for Kendo UI License.

KeyJava

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

keyv

This software is used under an MIT License.

ktable

This software is used under an EPL-1.0 License.

li

This software is used under an 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 an MIT License.

listenablefuture

This software is used under an Apache-2.0 License.

log4cplus

This software is used under an Apache-2.0 License.

log4cplus_bsd

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

log4j-api

This software is used under an Apache-2.0 License.

log4j-core

This software is used under an Apache-2.0 License.

log4net

This software is used under an Apache-2.0 License.

logback-classic

This software is used under an EPL-1.0 License.

logback-core

This software is used under an EPL-1.0 License.

lowercase-keys

This software is used under an MIT License.

lucene-core

This software is used under an Apache-2.0 License.

mail

This software is used under a CDDL-1.1 License.

markdown-it

This software is used under an MIT License.

markdown-it-anchor

This software is used under an Unlicense License.

mdurl

This software is used under an MIT License.

Microsoft Visual C++ Redistributable

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

mime

This software is used under an MIT License.

mime-db

This software is used under an MIT License.

mime-types

This software is used under an MIT License.

mimepull

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

mimic-response

This software is used under an MIT License.

ModevJava

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

moment

This software is used under an MIT License.

ms

This software is used under an MIT License.

Newtonsoft.Json

This software is used under an MIT License.

ng-file-upload

This software is used under an MIT License.

ng-tags-input

This software is used under an MIT License.

node

This software is used under an MIT License.

node-fetch

This software is used under an MIT License.

nonnullable.h

This software is used under an Apache-2.0 License.

normalize-url

This software is used under an MIT License.

object-inspect

This software is used under an MIT License.

once

This software is used under an ISC License.

openapi-types

This software is used under an MIT License.

org.apache.felix.framework

This software is used under an Apache-2.0 License.

org.apache.felix.main

This software is used under an Apache-2.0 License.

org.apache.felix.scr

This software is used under an Apache-2.0 License.

org.eclipse.emf.common

This software is used under an EPL-1.0 License.

org.eclipse.emf.ecore

This software is used under an EPL-1.0 License.

org.eclipse.emf.ecore.xmi

This software is used under an EPL-1.0 License.

org.eclipse.rmf.reqif10

This software is used under an EPL-1.0 License.

org.eclipse.rmf.reqif10.common

This software is used under an EPL-1.0 License.

org.eclipse.rmf.reqif10.serialization

This software is used under an EPL-1.0 License.

org.eclipse.sphinx.emf.serialization

This software is used under an EPL-1.0 License.

org.suigeneris.jrcs.diff

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

osgi-resource-locator

This software is used under an EPL-2.0 License.

p-cancelable

This software is used under an MIT License.

parsifal

This software is used under a Parsifal License License.

pegtl

This software is used under a BSL-1.0 License.

perforce

This software is used under an MIT License.

picocli

This software is used under an Apache-2.0 License.

plugin-paginate-rest

This software is used under an MIT License.

plugin-request-log

This software is used under an MIT License.

plugin-rest-endpoint-methods

This software is used under an MIT License.

poi

This software is used under an Apache-2.0 License.

poi-ooxml

This software is used under an Apache-2.0 License.

poi-ooxml-schemas

This software is used under an Apache-2.0 License.

pretty-bytes

This software is used under an MIT License.

pugixml

This software is used under an MIT License.

pump

This software is used under an 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 an MIT License.

query-string

This software is used under an MIT License.

querystringify

This software is used under an MIT License.

quick-lru

This software is used under an MIT License.

request

This software is used under an MIT License.

request-error

This software is used under an MIT License.

requester-utils

This software is used under an MIT License.

requires-port

This software is used under an MIT License.

reset-css

This software is used under an Unlicense License.

resolve-alpn

This software is used under an MIT License.

responselike

This software is used under an MIT License.

rest

This software is used under an MIT License.

safe-buffer

This software is used under an MIT License.

sax

This software is used under an ISC License.

saxon

This software is used under an MPL-1.0 License.

side-channel

This software is used under an MIT License.

slf4j-api

This software is used under an MIT License.

slf4j-jdk14

This software is used under an MIT License.

sockjs-client

This software is used under an MIT License.

spdlog

This software is used under an MIT License.

spdlog_setup

This software is used under an MIT License.

split-on-first

This software is used under an MIT License.

spring-aop

This software is used under an Apache-2.0 License.

spring-beans

This software is used under an Apache-2.0 License.

spring-boot

This software is used under an Apache-2.0 License.

spring-boot-autoconfigure

This software is used under an Apache-2.0 License.

spring-boot-jarmode-layertools

This software is used under an Apache-2.0 License.

spring-bridge

This software is used under an EPL-2.0 License.

spring-context

This software is used under an Apache-2.0 License.

spring-core

This software is used under an Apache-2.0 License.

spring-expression

This software is used under an Apache-2.0 License.

spring-jcl

This software is used under an Apache-2.0 License.

spring-messaging

This software is used under an Apache-2.0 License.

spring-security-core

This software is used under an Apache-2.0 License.

spring-security-crypto

This software is used under an Apache-2.0 License.

spring-web

This software is used under an Apache-2.0 License.

spring-webmvc

This software is used under an Apache-2.0 License.

spring-websocket

This software is used under an 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 an MIT License.

strict-uri-encode

This software is used under an MIT License.

tomcat-annotations-api

This software is used under an Apache-2.0 License.

tomcat-embed-core

This software is used under an Apache-2.0 License.

tomcat-embed-websocket

This software is used under an Apache-2.0 License.

tr46

This software is used under an MIT License.

trilead-ssh2

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

truezip

This software is used under an Apache-2.0 License.

tunnel

This software is used under an MIT License.

txw2

This software is used under a CDDL-1.0 License.

typed-rest-client

This software is used under an MIT License.

types

This software is used under an MIT License.

uc.micro

This software is used under an MIT License.

underscore

This software is used under an MIT License.

unikey

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

universal-user-agent

This software is used under an ISC License.

universalify

This software is used under an MIT License.

url-parse

This software is used under an MIT License.

Visual Studio Locator

This software is used under an MIT License.

vscode-extension-telemetry

This software is used under an MIT License.

vswhere

This software is used under an MIT License.

webidl-conversions

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

websocket-driver

This software is used under an Apache-2.0 License.

websocket-extensions

This software is used under an Apache-2.0 License.

whatwg-url

This software is used under an MIT License.

woodstox-core

This software is used under an Apache-2.0 License.

wrappy

This software is used under an ISC License.

xcase

This software is used under an MIT License.

xercesImpl

This software is used under an Apache-2.0 License.

xmlbeans

This software is used under an Apache-2.0 License.

xmlgraphics-commons

This software is used under an Apache-2.0 License.

xsdlib

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

zlib

This software is used under a Zlib License.