+ All Categories
Home > Documents > rcheck - Reservoir Labs€¦ · USER = COMMENT = TARGETS = all R-Check SCA started on Lillypad by...

rcheck - Reservoir Labs€¦ · USER = COMMENT = TARGETS = all R-Check SCA started on Lillypad by...

Date post: 22-Mar-2021
Category:
Upload: others
View: 2 times
Download: 0 times
Share this document with a friend
40
Transcript
Page 1: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND
Page 3: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca

Page 4: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck

spar

rcheck.ini

Page 6: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND
Page 7: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

--[no_]teststatus [X][D]|[all]

Page 8: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND
Page 10: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

c:\

rcheck

rcheck

Page 11: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

c:\rcheck

rcheck.request_license

rcheck-request.rlm

RCHECK_HOME/rcheck.rlm

Page 12: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rchecksca.jar

Page 13: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rchecksca.jar

rchecksca.ico

*.rcg

*.rcg rchecksca.bat

rcheck.test_install

rcheck.test_install: SUCCESS.

R-Check SCA is ready to use: Version 1.17.4 (1 Mar 2013)

Page 14: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

(*.tar.gz

rcheck

rcheck

Page 15: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.request_license

rcheck-request.rlm

RCHECK_HOME/rcheck.rlm

rchecksca.sh

*.rcg

rchecksca.sh

rcheck.test_install

rcheck.test_install: SUCCESS.

R-Check SCA is ready to use: Version 1.17.4 (1 Mar 2013)

Page 16: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

procon

rcheck

spar

blender

--help

rcheck.sca

rcheck.sca

rcheck.sca

examples/crucible

rcheck.sca

[user:/cygdrive/c/rcheck/examples/crucible ]$ rcheck.sca

Running rcheck.sca 1.17.4 ...

RCHECK_HOME = c:/rcheck

SCA_VERSION = 2.2.2

SCA_CONFIG = <default>

SCA_TESTS = AP

BASE = .

SHADOW = .

SCA_PROFILES = <none>

SPAR_OPTIONS =

CONFIG = c:/rcheck/procon_empty.cfg

RUN_RCHECK_TESTS = 1

RCHECK_OPTIONS =

SCAN_EXCLUDED_HEADERS = 1

IGNORE_FAULTS = 1

FORCE_REPORT = 0

BUILD_MEMORY_REPORT = 1

REPORT = rcheck-report/rcheck-report

DUPLICATES = 1

VERBOSE = 1

PARTIAL_ERRORS = 0

PARALLEL_PROCESSES = 1

Page 17: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

USER = <default>

COMMENT = <none>

TARGETS = all

R-Check SCA started on Lillypad by jdoe, 31 Oct 2012,

10:01:18 AM, PID 4952

COUNT: FIND discovered 1 source files in project scope

C:/rcheck/rcheck.exe --partial_code --sca_version 2.2.2

--no_spar -DEMPTY_PROCON_CONFIG_FILE -o

C:/rcheck/examples/crucible/crucible.cpp.rc.xml

C:/rcheck/examples/crucible/crucible.cpp

EXCLUDED HEADERS ANALYZED:

C:/rcheck/blender.exe -q --xml -o rcheck-report/rcheck-

report crucible/crucible.cpp.rc.xml rcheck-report/rcheck-

report-scan-headers.rc.xml

C:/rcheck/blender.exe -q --text -o rcheck-report/rcheck-

report rcheck-report/rcheck-report.xml

C:/rcheck/blender.exe -q --csv -o rcheck-report/rcheck-

report rcheck-report/rcheck-report.xml

C:/rcheck/blender.exe -q --html -o rcheck-report/rcheck-

report rcheck-report/rcheck-report.xml

R-Check SCA finished on Lillypad by jdoe, 31 Oct 2012,

10:01:48 AM, PID 4952

Page 18: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca

rcheck-report/recheck-report.*

#include

rcheck.ini6

ShowMissingFiles=true

rcheck

--show_missing_files

rcheck.ini

ShowNonPosixCalls=true

rcheck --no_AP06??_show_non_posix_calls

rcheck.ini

ShowManCalls=true

rcheck

--AP0603_show_man_calls

rcheck.ini

User=John Doe

rcheck

--user

Page 19: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca

rcheck.sca

rcheck.sca --var0=val0 --var1=val1 … target0 target1 …

rcheck.sca

rcheck.sca --help

rcheck.sca

procon_sample.cfg

rcheck.sca

--config=<file> REPORT.cfg

rcheck.sca config

Page 20: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca –-help

rcheck.sca

--partial_errors

rcheck.sca.partial_errors

rcheck.sca

rcheck.sca –-config=rcheck_report/rcheck_report.cfg

procon | grep “fm3tr.cpp” > fm3tr.cpp.procon

fm3tr.cpp.procon

fm3tr.cpp

rcheck_report/rcheck_report.cfg

rcheck.sca

rcheck.sca

all

xml

txt

csv

html

spar

config

procon

count

list

done

undone

xml-idl

coverage

metrics

Page 21: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

clean

wipe

help

--help

procon_sample.cfg

rcheck.ini

RCHECK_HOME

rcheck.sca --sca_config

rcheck.ini

rcheck.sca --sca_config=strict

strict

<ALL_SRCS>

<ALL_SRCS> += --no_AP0604

--ignore

StubFiles

.*/StubFiles/.* += --ignore

rcheck.sca

rcheck.sca clean

Page 22: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND
Page 23: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

--rcheck_options

rcheck.sca --rcheck_options="--AP0603 --AP0607"

rcheck.sca --rcheck_options="--no_AP0605"

rcheck.sca clean

--rcheck_options=--OE

my_report.html

rcheck_report/rcheck_report.xml

blender --html --req AP0603 -o my_report

rcheck_report/rcheck_report.xml

--html --text --csv

rcheck.sca clean

rcheck.sca

--req

blender --help

Page 24: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

#include

ShowMissingFiles true rcheck.ini rcheck

--show_missing_files

#include -I<path>

include

rcheck

-I

src/audio_io/.* += -Isrc/include

src/audio_io

src/include

--rcheck:cd <dir>

--rcheck:cd @

Page 25: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca config

<C_SRCS> -> .*\.c;

<C_SRCS> += --AP0603_file AP0603_222_my_wavier.rcf

<C_SRCS>

rcheck.sca

config

src/audio_io/.* += --AP0603_file AP0603_222_my_wavier.rcf

src/audio_io

rcheck.sca --config=<file>

--do=<pattern>

src/audio_io

rcheck --config=rcheck_report/rcheck_report.cfg

--do=src/audio_io

--rcheck:config <RCHECK_HOME subdir>

rcheck.ini

Page 26: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND
Page 27: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca

--ignore

StubFiles

.*/StubFiles/.* += --ignore

_ut

.*_ut += --ignore

--ignore

--ignore

ShowIgnoredFiles false rcheck.ini rcheck

--no_show_ignored_files

ShowAnalyzedFiles true

rcheck.ini rcheck --show_analyzed_files

Page 28: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

::releaseObject()

AP0075_OE0075.rcf

AP0075_OE0075.rcf

rcheck.ini

::releaseObject()

::releaseObject()

rcheck.ini

Page 29: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

-memory.csv .*

new

delete malloc free

<SSM>

Page 30: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca –-sca_profiles=”<some SAD/SPD/SCD file(s)>”

rcheck.sca

–-sca_profiles

*.sad *.dcd

-spar-incidents.xml

-spar-summary.xml

rcheck.sca

rcheck.sca –-sca_profiles=<...> spar

blender [--text, --csv, --html] -spar-incidents.xml

--spar_options=<…>

rcheck.ini

[SPAR]

spar --help

Page 31: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

#include

#ifdef

rcheck.ini

rcheck.ini

rcheck.sca

rcheck.sca --scan_excluded_headers=0

-scan-headers.rc.xml

rcheck.ini

foo::bar

foo::*

--[no]shallow [A][E][P]|[all]

Page 32: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca coverage

rcheck.ini

Page 33: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca rcheck.sca

undone Error 127

of rcheck.sca

rcheck.sca

Page 34: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

Report -> List Source Files

rcheck.sca list

rcheck.sca --verbose=0 list | wc –l

ProCon -> Generate ProCon File

rcheck.sca config

rcheck_report/rcheck_report.cfg

ProCon -> Test ProCon File

rcheck.sca procon

Page 35: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

Run -> Run R-Check SCA

rcheck.sca

rcheck_report/rcheck_report.cfg)

--config

rcheck_report/rcheck_report.*

rcheck.sca

--sca_version

rcheck.sca rcheck_sca.ini

--sca_config

rcheck.sca

--sca_tests=OE

rcheck.sca

--sca_profiles

--parallel_processes=2

CTRL-C

rcheck.sca --force_report=1

Report -> List Undone

rcheck.sca undone

Report -> Generate XML-IDL Report

rcheck.sca xml-idl

Page 36: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

Report -> Generate Coverage Report

rcheck.sca coverage

Report -> Generate Metrics Report

rcheck.sca metrics

Report -> Show <*> Report

Run -> Run Clean

rcheck.sca clean

*.rc.xml

Run -> Run Wipe

rcheck.sca wipe

Page 37: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.sca

rcheck.sca --help

rcheck

rcheck.sca --rcheck_options=”<options>”

: rcheck --help

spar

rcheck.sca --spar_options=”<options>”

: spar --help

rcheck.ini

rcheck.ini

rcheck_sca.ini rcheck.ini

#include

Page 38: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck_sca.ini

_this()

Page 39: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

_this()

Page 40: rcheck - Reservoir Labs€¦ · USER =  COMMENT =  TARGETS = all R-Check SCA started on Lillypad by jdoe, 31 Oct 2012, 10:01:18 AM, PID 4952 COUNT: FIND

rcheck.ini

rcheck.ini rcheck

[AP----] --[no_]AP####

[OE---] --[no_]OE####

#include

--[no_]show_missing_files

rcheck

--[no_]show_ignored_files

rcheck

--[no_]show_analyzed_files

spar :

--[no_]xml-idl


Recommended