BUGSENG

This is the official BUGSENG channel. It features videos on software verification and validation.

eLSA25 - Turning Open-Source Code into Safety-Grade Software via CI-Ready Static Analysis
eLSA25 - Turning Open-Source Code into Safety-Grade Software via CI-Ready Static Analysis
ECLAIR 3.14.0 | Release Walkthrough
ECLAIR 3.14.0 | Release Walkthrough
ECLAIR New Release 3.14.0 | Now available
ECLAIR New Release 3.14.0 | Now available
ECLAIR Suite | Preview of ECLAIR 3.14.0
ECLAIR Suite | Preview of ECLAIR 3.14.0
ECLAIR: Inside the New Release
ECLAIR: Inside the New Release
A Preview of ECLAIR New Release 3.13.0
A Preview of ECLAIR New Release 3.13.0
TrustedFirmware OpenCI and MISRA testing using ECLAIR
TrustedFirmware OpenCI and MISRA testing using ECLAIR
C-rusted: a safe, secure and energy-efficient dialect of C
C-rusted: a safe, secure and energy-efficient dialect of C
CerTran & SuperTest: continuous C/C++ compiler qualification
CerTran & SuperTest: continuous C/C++ compiler qualification
Effective Static Analysis Shift Left for the Development of Safe and Secure Embedded Systems
Effective Static Analysis Shift Left for the Development of Safe and Secure Embedded Systems
A Rationale-Based Classification of MISRA C Guidelines
A Rationale-Based Classification of MISRA C Guidelines
Trojan Source Code Vulnerabilities: No More with ECLAIR
Trojan Source Code Vulnerabilities: No More with ECLAIR
How to use ECLAIR GUI
How to use ECLAIR GUI
How to use ECLAIR in Batch Mode
How to use ECLAIR in Batch Mode
ECLAIR: A Guided Tour of the New Features
ECLAIR: A Guided Tour of the New Features
The Application Hazard Scanner: Safety in Spite of Compiler Defects
The Application Hazard Scanner: Safety in Spite of Compiler Defects
How to use ECLAIR with Eclipse based IDEs
How to use ECLAIR with Eclipse based IDEs
How to set up ECLAIR to work with Eclipse IDEs
How to set up ECLAIR to work with Eclipse IDEs
How To Evaluate ECLAIR: Initial Steps
How To Evaluate ECLAIR: Initial Steps
Verifying the Hierarchical Structure and Freedom from Interference of Software Components
Verifying the Hierarchical Structure and Freedom from Interference of Software Components
MISRA Deviation Permits: Giant Time and Money Savers
MISRA Deviation Permits: Giant Time and Money Savers
Teaser ETESTCON 2020 - BUGSENG Technical Presentation
Teaser ETESTCON 2020 - BUGSENG Technical Presentation
A Practical Demonstration of CI with ECLAIR, Git and Jenkins
A Practical Demonstration of CI with ECLAIR, Git and Jenkins
An Introduction to MISRA C:2012 & Mandatory Guideline Violations in Linux
An Introduction to MISRA C:2012 & Mandatory Guideline Violations in Linux
MISRA C: The Power of C Without the Pitfalls
MISRA C: The Power of C Without the Pitfalls
Understanding Implementation-Defined Behavior in C and C++
Understanding Implementation-Defined Behavior in C and C++
Language Subsetting and Compiler Qualification - Joint Webinar with Solid Sands B.V.
Language Subsetting and Compiler Qualification - Joint Webinar with Solid Sands B.V.
MISRA Compliance and Legacy/Third-Party Code
MISRA Compliance and Legacy/Third-Party Code
A Little Sneak Peek of ECLAIR Interface with Jenkins
A Little Sneak Peek of ECLAIR Interface with Jenkins
The Essential Type Model of MISRA C:2012
The Essential Type Model of MISRA C:2012