diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-01 06:47:24 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-01 06:59:01 +0100 |
commit | a9830102702367bfd0a4d9bae18687932b60e04c (patch) | |
tree | 9be47cec1ae57ec448de6338fe693af6ac3e09db | |
parent | modules: Update rsb (diff) | |
download | rtems-central-a9830102702367bfd0a4d9bae18687932b60e04c.tar.bz2 |
spec: Add RTEMS_STATIC_ANALYSIS
-rw-r--r-- | spec/compiler/if/coverity.yml | 12 | ||||
-rw-r--r-- | spec/rtems/basedefs/if/static-analysis.yml | 23 |
2 files changed, 35 insertions, 0 deletions
diff --git a/spec/compiler/if/coverity.yml b/spec/compiler/if/coverity.yml new file mode 100644 index 00000000..3bb5723b --- /dev/null +++ b/spec/compiler/if/coverity.yml @@ -0,0 +1,12 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +index-entries: [] +interface-type: unspecified +links: +- role: interface-placement + uid: container +name: __COVERITY__ +reference: null +type: interface diff --git a/spec/rtems/basedefs/if/static-analysis.yml b/spec/rtems/basedefs/if/static-analysis.yml new file mode 100644 index 00000000..880e4c5c --- /dev/null +++ b/spec/rtems/basedefs/if/static-analysis.yml @@ -0,0 +1,23 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +brief: | + It is defined if a static analysis run is performed. +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +definition: + default: null + variants: + - definition: '' + enabled-by: + - defined(${/compiler/if/coverity:/name}) +description: null +enabled-by: true +index-entries: [] +interface-type: define +links: +- role: interface-placement + uid: header +- role: interface-ingroup + uid: group +name: RTEMS_STATIC_ANALYSIS +notes: null +type: interface |