rulechecker - absint · 2020-02-20 · of code metrics checking coding guidelines for c/c++...

RuleChecker RuleChecker efficiently checks coding guidelines and computes code metrics for C/C++ programs. Result overview Tabular overview of code metrics Checking Coding Guidelines for C/C++ Programs Why do you need RuleChecker? Safety-critical mission-critical or software has to be developed according to coding guidelines to ensure high-quality code programming errors security vulnerabilities , and to reduce the risk of and . · is a static analyzer designed to check and compute for C/C++ RuleChecker coding guidelines code metrics programs. Multiple result views and graphical visualizations enable an . efficient result exploration · is and . RuleChecker fast easy to use · supports: RuleChecker Ÿ MISRA C:2004 Ÿ MISRA C:2012 Ÿ ISO/IEC TS 17961:2013 Ÿ SEI CERT Secure C Ÿ MITRE Common Weakness Enumeration (CWE) Ÿ MISRA C++:2008 Ÿ Adaptive AUTOSAR C++14 . · can be coupled with the sound static analyzer to guarantee and RuleChecker Astrée zero false negatives minimal false positives on semantical rules. · is fully batch-mode compatible and can be used in frameworks. Open formats RuleChecker continuous integration enable the analysis results to be automatically processed. A is available. Jenkins plugin · The AbsInt Toolbox for TargetLink provides a seamless integration of with dSPACE . RuleChecker TargetLink · Plugins for the and are available. Keil Eclipse µVision IDE · A flexible supports a wide range of rollout scenarios. client/server architecture · can be according to all relevant safety norms, including ISO 26262, RuleChecker automatically qualified DO-178B/C, IEC 61508, EN 50128, etc. For individual support of your in-house coding guidelines, please contact us. Configuration of active rule sets AbsInt Angewandte Informatik GmbH Science Park 1 D-66123 Saarbrücken Germany phone: +49 681 383 60 0 fax: +49 681 383 60 20 [email protected] www.absint.com

Upload: others

Post on 10-Jul-2020

5 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

RuleChecker

RuleChecker efficiently checks coding guidelines and computes code metrics for C/C++ programs.

Result overview Tabular overview of code metrics

Checking Coding Guidelines for C/C++ Programs

Why do you need RuleChecker?

Safety-critical mission-criticalor software has to be developed according to coding guidelines to ensure high-quality code programming errors security vulnerabilities, and to reduce the risk of and .

· is a static analyzer designed to check and compute for C/C++ RuleChecker coding guidelines code metricsprograms. Multiple result views and graphical visualizations enable an . efficient result exploration

· is and .RuleChecker fast easy to use

· supports: RuleCheckerŸ MISRA C:2004Ÿ MISRA C:2012Ÿ ISO/IEC TS 17961:2013Ÿ SEI CERT Secure CŸ MITRE Common Weakness Enumeration (CWE)Ÿ MISRA C++:2008Ÿ Adaptive AUTOSAR C++14 .

· can be coupled with the sound static analyzer to guarantee and RuleChecker Astrée zero false negatives minimal false positives on semantical rules.

· is fully batch-mode compatible and can be used in frameworks. Open formats RuleChecker continuous integrationenable the analysis results to be automatically processed. A is available. Jenkins plugin

· The AbsInt Toolbox for TargetLink provides a seamless integration of with dSPACE . RuleChecker TargetLink

· Plugins for the and are available. Keil EclipseµVision IDE

· A flexible supports a wide range of rollout scenarios.client/server architecture

· can be according to all relevant safety norms, including ISO 26262, RuleChecker automatically qualifiedDO-178B/C, IEC 61508, EN 50128, etc.

For individual support of your in-house coding guidelines, please contact us.

Configuration of active rule sets

AbsInt Angewandte Informatik GmbH Science Park 1 D-66123 Saarbrücken Germany phone: +49 681 383 60 0 fax: +49 681 383 60 20 [email protected] www.absint.com

Unmasking the Jenkins DSL #jenkinsconf Jenkins … · Background: Jenkins DSLs (a sampling) • Job DSL plugin • Groovy plugin ... Jenkins User Conference San Francisco #jenkinsconf

Jenkins + Pipeline Plugin + Docker

Building and testing an automotive platform · CI Builds - Jenkins – Standard Jenkins +gerrit-trigger plugin (to poll git.automotivelinux.org) +openstack cloud plugin (to start

Continuous Deployment at @pleia2 Enterprise Scale …...“Put simply, whenever the Jenkins Build Queue starts getting bigger, this plugin automatically spins up additional Jenkins

Python Jenkins Documentation · This method retrieves information about a speciﬁc plugin and returns the raw plugin data in a JSON format. The passed in plugin name (short or long)

Jenkins user plugin This time it's user plugin This time it's #jenkinsconf. Jenkins User Conference Israel #jenkinsconf About me ... Why Gradle? Build on top of

zap Jenkins plugin 2 - OWASP€¦ · ZAP JENKINS PLUGIN – FEATURES • Manage Sessions (Load or Persist) • Define Context (Name, Include URLs and Exclude URLs) • Attack Contexts

Carlos Sanchez @csanchezOpenStack Rackspace VMware ... Kubernetes Jenkins plugin pods, not replication controllers Jenkins Cloud API Fabric8 Java API Workflow support. #jenkinsconf

FlexPod Datacenter with Apprenda for PaaS · PDF fileFlexPod Datacenter with Apprenda for PaaS ... NetApp Jenkins Plugin, and ONTAP 9 ... Automating CI workflow with Apprenda Jenkins

Rulechecker - ANTYCIP · 2019-06-03 · of code metrics Checking Coding Guidelines for C/C++ Programs ... A Jenkins plugin is available. ... Configuration of active rule sets AbsInt

Hacking Jenkins! - Pass the SALT Conference•Pipeline Shared Groovy Libraries Plugin •A plugin for importing customized libraries into Pipeline •Jenkins loads your customized

Case Study: Using Jenkins to Build WebSphere Portal ......Jenkins and Maven for Deployment (continued) • Dedicated Maven project to build PAA – maven-resources-plugin copies built