SlideShare a Scribd company logo
1
TRUST IN SOFT
Mathematically Guaranteed
Quality, Security and Safety on C and C++ Code
2
708327160390607875750193719983997033723704207275202404427293525213302144
948767203775307727997654049413872576823449581923017869961548252344452521
732645188529508379490335499523685994981415886110633979349842752040328556
350469743750615379487348456157375916387673417182562276762095792487836796
918500935838412942423651429395645785850558226310257015625779676404936185
4053114869322098725721757629614488965634874516982012228724064256
256176
This is the number of tests that we
are going to perform during the
demo.
3
Hybrid code Analyzer combining advanced static
and dynamic analysis techniques together with
formal methods to mathematically guarantee
C/C++ code quality & maximize code security
and safety
TrustInSoft Analyzer
4
<
<<<<<<
Built on 30 years of research and
development at French Atomic Energy
Commission (CEA) and initially used to secure
code in airplanes
Based on 30 years of R&D
Recognized by the NIST as the first tool to meet
the SATE V Ockham critera of exhaustivity and
soundness and able to guarantee the absence of
CWE key classes in ARM Mbed TLS
Recognized by NIST
Adopted by worldwide leading companies in
aeronautics, defense, automotive, IoT, telecom &
electronics
Market proven
TrustInSoft has been distinguished with awards
from numerous reference bodies such as the
Linux Foundation and the RSA Conference
Award winning
About Trust In Soft
5
03
6
Empowering SW developers & testers to…
Ensure absence of crashes and
deterministic behavior. Detect 0-days
before they are known. Platform
specific analysis without compiling.
Exhaustively find and fix all Undefined
Behaviors
incl. the most hidden ones
Determines and propagates the
superset of all possible code values in
execution paths.
Boost coverage. Perform quickly
the equivalent of billions of tests
with 1 generalized inputs test
Functional proof & absence of
Undefined Behaviors (e.g. buffer
overflow).
Get mathematical guarantees on
software security/safety
Detect bugs quicker.
Get hints on bug’s root cause.
Explore interactively values of all
variables & track evolution.
Reduce Time to Market, software
certification & verification efforts by
>4X
No False Alarms replaying your
existing tests with
discrete values.
Focus efforts and time on real code
issues
E.g. ensure code does what it’s
supposed to OR enforce architecture
vision.
Ensure software implementation is
in line with specification
Code
safety
&
security
Decrease
code
verification
cost
&
time
7
Incremental journey to maximum safety & security
Replay existing tests Generalize inputs & static analysis Check functional implementation
• Instant productivity: find more bugs quicker
• Mathematical guarantee that Undefined
Behaviors resulting from discrete tested
values are all detected
• 0 false positives & 0 false negatives
• Mathematical guarantee that all Undefined
Behaviours are detected
• 0 false negatives
• Achieve up to 100% coverage on critical tests
• Ensure implemented SW architecture and
functions behave in line with spec
• Full mathematical guarantee for safety and
security
1. Interpreter 2. Analyzer 3. Functional proof
8
Resolving the
Achilles’ heel of C and
C++:
Detecting all
Undefined Behaviors
• Memory access
• Buffer overflow
• Access out of bounds
• Invalid pointers usage
• Non-initialized variables
• etc…
• Arithmetic operations
• Division by zero
• Integer signed overflows
• Overflow in float-to-int conversion
• NaN in float computation
• etc…
• Race conditions
Unpredictable outputs or program execution
Code execution by an attacker & program intrusion
Software misbehavior or crash
Undefined behaviors are complex to detect
and can lead to disastrous consequences:
9
+
Formal methods
(abstract interpretation, symbolic execution, hoare’s logic, model
checking, weakest precondition…)
The benefits of:
• Reasons on application
source code
• Explores all possible
execution paths
Static AST Dynamic AST Interactive AST
• Exhaustive input value
coverage
• Memory error &
undefined behaviour
detection
• ACSL functional
specification
• Checks/Proves code
behavior matches
specification
The best-of benefits of application security testing
10
708327160390607875750193719983997033723704207275202404427293525213302144
948767203775307727997654049413872576823449581923017869961548252344452521
732645188529508379490335499523685994981415886110633979349842752040328556
350469743750615379487348456157375916387673417182562276762095792487836796
918500935838412942423651429395645785850558226310257015625779676404936185
4053114869322098725721757629614488965634874516982012228724064256
256176
This is the number of tests that we
are going to perform during the
demo.
11
Our customers’ primary drivers
§ Reduce SW test coverage costs
§ Bugs identification &
remediation optimization
§ Bug correction priorization (no
false positive)
§ Perform tests as if on target
IMPROVE OPERATIONAL
EFFICIENCY
§ Position safety and/or
security as a feature to gain
market share
§ Get certification level /
smooth customer validation
as a price premium
§ Secure Time to Market
sensitive opportunities
GENERATE REVENUE
OPPORTUNITIES
CONTROL
FINANCIAL RISK
§ Reduce field support costs
post-production
§ Avoid brand/image valuation
impact
Beyond Software Security and Safety
12
Improve Operational Efficiency
Software coverage tests costs reduction
Context
• Industry: Aeronautics, Tier one Aeronautics SW provider
• Product: In plane Gateway Communication Software Stack
• Objective: SW Security enhancement
Actions done
• Generalized exhaustive software tests
• All bugs at stage 1 detected & generalizing the inputs at stage 2
• Continuously replay the tests once bugs were fixed in successive SW commit
Customer achievements
• Verification time reduced from 4 months to 1 month
• SW tests coverage is a million times superior to previous test base
Cost impact
• SW verification effort divided by 4
13
13
Improve Operational Efficiency
Bugs detection & remediation optimization
Context
• Industry: Consumer Electronics
• Product: Consumer Gateway software stack
• Objective: Evaluate TrustInSoft benefits to reduce code verification efforts/Bugs
finding
Actions done
• Replay existing tests in TrustInSoft Analyzer at stage 1
• Generalize test inputs at stage 2
Customer achievements
• Before using TIS Analyzer: 2 developers during 1 week to identify the bug (10 man-
days)
• With TrustInSoft Analyzer: bug found & fixed in 2 hours
Cost impact
• Divide by 40 the effort for bug detection/correction
14
Generate Revenue Opportunities
Market share driver
Context
• Industry: Rail, Tier 1 Rail software provider
• Product: Automatic embedded software >300k LOC managing
sensors inputs
• Objective: Guarantee Mathematically the safety of the critical functions
Actions done
• Exhaustively generalize the inputs at stage 2
Customer achievements
• No undefined behaviors were left in the source code for all possible inputs
• Ensured software deterministic behavior & no crashes whatever the inputs
• Achieve 100% input coverage on all/critical functions
Cost impact
• Increase market share – Differentiation through the mathematical guarantee to meet
the customer extremely high level of safety requirements
15
Control Financial Risk
Field Support costs reduction
Context
• Industry: Smart meter, Tier one provider
• SW stack measuring customer energy consumption
Actions done
• Replay existing tests in TIS Analyzer to detect and remove Undefined Behaviours
• Write more tests to increase % of functions covered
• Generalize the inputs to increase % of states/values covered
Customer achievements
• Detected & fixed critical bugs
• Coverage increase from 6% to 45%
Cost impact
• Reduce field support costs
• Increase security level
©
2021
TrustInSoft
-
Confidential
How we help you succeed
• Identify the key business drivers for your software
testing/verification situation
• Quantify current software testing/verification cost
and impact
• Estimate new Software testing/verification impact
Business Track
• Evaluate the tool performance vs the Software
testing/verification objectives
• Assess the best deployment steps vs the SW validation
process in place
• Validate the technical implementation vs the IT
context
Solution Track
Explore business drivers, success
measures and impacts associated with
the way you test/verify your SW
Explore your software tests requirements,
use cases, workflows, internal processes,
customers requirements
Moving forward with TrustInSoft
©
2021
TrustInSoft
-
Confidential
Thank you!
Q&A
contact@trust-in-soft.com

More Related Content

What's hot

'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...
'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...
'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...
TEST Huddle
 
Static Code Analysis
Static Code AnalysisStatic Code Analysis
Static Code Analysis
Obika Gellineau
 
Mdd test qa_test2014_bryan_bakker
Mdd test qa_test2014_bryan_bakkerMdd test qa_test2014_bryan_bakker
Mdd test qa_test2014_bryan_bakker
Bryan Bakker
 
Driving Risks Out of Embedded Automotive Software
Driving Risks Out of Embedded Automotive SoftwareDriving Risks Out of Embedded Automotive Software
Driving Risks Out of Embedded Automotive Software
Parasoft
 
Software Testing Concepts
Software Testing  ConceptsSoftware Testing  Concepts
Software Testing Concepts
Shahram Foroozan
 
St & internationalization
St & internationalizationSt & internationalization
St & internationalizationSachin MK
 
plan for penetration test
plan for penetration testplan for penetration test
plan for penetration test
hetvi naik
 
Key Findings from the 2019 State of DevOps Report
Key Findings from the 2019 State of DevOps ReportKey Findings from the 2019 State of DevOps Report
Key Findings from the 2019 State of DevOps Report
Puppet
 
Ch15 software reliability
Ch15 software reliabilityCh15 software reliability
Ch15 software reliability
Abraham Paul
 
formal verification
formal verificationformal verification
formal verification
Toseef Aslam
 
Software Testing
Software TestingSoftware Testing
Software Testing
University of Dhaka
 
Software testing
Software testingSoftware testing
Software testing
Omar Al-Bokari
 
Software Testing
Software TestingSoftware Testing
Software Testing
Vishal Singh
 
Embedded world 2017
Embedded world 2017Embedded world 2017
Embedded world 2017
ChantalWauters
 
Top Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliabilityTop Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliability
Ann Marie Neufelder
 
Deploy + Destroy Complete Test Environments
Deploy + Destroy Complete Test EnvironmentsDeploy + Destroy Complete Test Environments
Deploy + Destroy Complete Test Environments
Parasoft
 

What's hot (18)

'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...
'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...
'Acceptance Test Driven Development Using Robot Framework' by Pekka Klarch & ...
 
Static Code Analysis
Static Code AnalysisStatic Code Analysis
Static Code Analysis
 
Mdd test qa_test2014_bryan_bakker
Mdd test qa_test2014_bryan_bakkerMdd test qa_test2014_bryan_bakker
Mdd test qa_test2014_bryan_bakker
 
Driving Risks Out of Embedded Automotive Software
Driving Risks Out of Embedded Automotive SoftwareDriving Risks Out of Embedded Automotive Software
Driving Risks Out of Embedded Automotive Software
 
Software Testing Concepts
Software Testing  ConceptsSoftware Testing  Concepts
Software Testing Concepts
 
St & internationalization
St & internationalizationSt & internationalization
St & internationalization
 
plan for penetration test
plan for penetration testplan for penetration test
plan for penetration test
 
Vinay Singh
Vinay SinghVinay Singh
Vinay Singh
 
Key Findings from the 2019 State of DevOps Report
Key Findings from the 2019 State of DevOps ReportKey Findings from the 2019 State of DevOps Report
Key Findings from the 2019 State of DevOps Report
 
Vinay Singh
Vinay SinghVinay Singh
Vinay Singh
 
Ch15 software reliability
Ch15 software reliabilityCh15 software reliability
Ch15 software reliability
 
formal verification
formal verificationformal verification
formal verification
 
Software Testing
Software TestingSoftware Testing
Software Testing
 
Software testing
Software testingSoftware testing
Software testing
 
Software Testing
Software TestingSoftware Testing
Software Testing
 
Embedded world 2017
Embedded world 2017Embedded world 2017
Embedded world 2017
 
Top Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliabilityTop Ten things that have been proven to effect software reliability
Top Ten things that have been proven to effect software reliability
 
Deploy + Destroy Complete Test Environments
Deploy + Destroy Complete Test EnvironmentsDeploy + Destroy Complete Test Environments
Deploy + Destroy Complete Test Environments
 

Similar to Mathematically Guaranteeing Code Correctness with TrustInSoft

Zero-bug Software, Mathematically Guaranteed
Zero-bug Software, Mathematically GuaranteedZero-bug Software, Mathematically Guaranteed
Zero-bug Software, Mathematically Guaranteed
Ashley Zupkus
 
The quality assurance checklist for progressive testing
The quality assurance checklist for progressive testingThe quality assurance checklist for progressive testing
The quality assurance checklist for progressive testing
Maitrikpaida
 
The Quality Assurance Checklist for Progressive Testing
The Quality Assurance Checklist for Progressive TestingThe Quality Assurance Checklist for Progressive Testing
The Quality Assurance Checklist for Progressive Testing
Cygnet Infotech
 
How to build confidence in your release cycle
How to build confidence in your release cycleHow to build confidence in your release cycle
How to build confidence in your release cycle
DiUS
 
Zero touch QA automation platform for DevOps
Zero touch QA automation platform for DevOpsZero touch QA automation platform for DevOps
Zero touch QA automation platform for DevOps
TaUB Solutions
 
Quality at the speed of digital
Quality   at the speed of digitalQuality   at the speed of digital
Quality at the speed of digital
rajni singh
 
Questions for successful test automation projects
Questions for successful test automation projectsQuestions for successful test automation projects
Questions for successful test automation projects
Daniel Ionita
 
How To Avoid Continuously Delivering Faulty Software
How To Avoid Continuously Delivering Faulty SoftwareHow To Avoid Continuously Delivering Faulty Software
How To Avoid Continuously Delivering Faulty Software
Erika Barron
 
How to Avoid Continuously Delivering Faulty Software
How to Avoid Continuously Delivering Faulty SoftwareHow to Avoid Continuously Delivering Faulty Software
How to Avoid Continuously Delivering Faulty Software
Perforce
 
Digital Product Security
Digital Product SecurityDigital Product Security
Digital Product Security
SoftServe
 
What are Software Testing Methodologies | Software Testing Techniques | Edureka
What are Software Testing Methodologies | Software Testing Techniques | EdurekaWhat are Software Testing Methodologies | Software Testing Techniques | Edureka
What are Software Testing Methodologies | Software Testing Techniques | Edureka
Edureka!
 
Software testing training in Chandigarh
Software testing training in ChandigarhSoftware testing training in Chandigarh
Software testing training in Chandigarh
Webliquidinfotech
 
[Europe merge world tour] Coverity Development Testing
[Europe   merge world tour] Coverity Development Testing[Europe   merge world tour] Coverity Development Testing
[Europe merge world tour] Coverity Development Testing
Perforce
 
Lights-Out Testing for Lights-On Business
Lights-Out Testing for Lights-On BusinessLights-Out Testing for Lights-On Business
Lights-Out Testing for Lights-On Business
Worksoft
 
What is Test Matrix?
What is Test Matrix?What is Test Matrix?
What is Test Matrix?
QA InfoTech
 
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...Verhaert Masters in Innovation
 
Quality assuarance bharath anche (1)
Quality assuarance bharath anche (1)Quality assuarance bharath anche (1)
Quality assuarance bharath anche (1)
bharathanche
 
Class9_SW_Testing_Strategies.pdf
Class9_SW_Testing_Strategies.pdfClass9_SW_Testing_Strategies.pdf
Class9_SW_Testing_Strategies.pdf
FarjanaParvin5
 
Continuous integration practices to improve the software quality
Continuous integration practices to improve the software qualityContinuous integration practices to improve the software quality
Continuous integration practices to improve the software quality
Fabricio Epaminondas
 

Similar to Mathematically Guaranteeing Code Correctness with TrustInSoft (20)

Zero-bug Software, Mathematically Guaranteed
Zero-bug Software, Mathematically GuaranteedZero-bug Software, Mathematically Guaranteed
Zero-bug Software, Mathematically Guaranteed
 
The quality assurance checklist for progressive testing
The quality assurance checklist for progressive testingThe quality assurance checklist for progressive testing
The quality assurance checklist for progressive testing
 
The Quality Assurance Checklist for Progressive Testing
The Quality Assurance Checklist for Progressive TestingThe Quality Assurance Checklist for Progressive Testing
The Quality Assurance Checklist for Progressive Testing
 
How to build confidence in your release cycle
How to build confidence in your release cycleHow to build confidence in your release cycle
How to build confidence in your release cycle
 
Zero touch QA automation platform for DevOps
Zero touch QA automation platform for DevOpsZero touch QA automation platform for DevOps
Zero touch QA automation platform for DevOps
 
Quality at the speed of digital
Quality   at the speed of digitalQuality   at the speed of digital
Quality at the speed of digital
 
Questions for successful test automation projects
Questions for successful test automation projectsQuestions for successful test automation projects
Questions for successful test automation projects
 
How To Avoid Continuously Delivering Faulty Software
How To Avoid Continuously Delivering Faulty SoftwareHow To Avoid Continuously Delivering Faulty Software
How To Avoid Continuously Delivering Faulty Software
 
Agile and Secure Development
Agile and Secure DevelopmentAgile and Secure Development
Agile and Secure Development
 
How to Avoid Continuously Delivering Faulty Software
How to Avoid Continuously Delivering Faulty SoftwareHow to Avoid Continuously Delivering Faulty Software
How to Avoid Continuously Delivering Faulty Software
 
Digital Product Security
Digital Product SecurityDigital Product Security
Digital Product Security
 
What are Software Testing Methodologies | Software Testing Techniques | Edureka
What are Software Testing Methodologies | Software Testing Techniques | EdurekaWhat are Software Testing Methodologies | Software Testing Techniques | Edureka
What are Software Testing Methodologies | Software Testing Techniques | Edureka
 
Software testing training in Chandigarh
Software testing training in ChandigarhSoftware testing training in Chandigarh
Software testing training in Chandigarh
 
[Europe merge world tour] Coverity Development Testing
[Europe   merge world tour] Coverity Development Testing[Europe   merge world tour] Coverity Development Testing
[Europe merge world tour] Coverity Development Testing
 
Lights-Out Testing for Lights-On Business
Lights-Out Testing for Lights-On BusinessLights-Out Testing for Lights-On Business
Lights-Out Testing for Lights-On Business
 
What is Test Matrix?
What is Test Matrix?What is Test Matrix?
What is Test Matrix?
 
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...Innovation day 2013   2.5 joris vanderschrick (verhaert) - embedded system de...
Innovation day 2013 2.5 joris vanderschrick (verhaert) - embedded system de...
 
Quality assuarance bharath anche (1)
Quality assuarance bharath anche (1)Quality assuarance bharath anche (1)
Quality assuarance bharath anche (1)
 
Class9_SW_Testing_Strategies.pdf
Class9_SW_Testing_Strategies.pdfClass9_SW_Testing_Strategies.pdf
Class9_SW_Testing_Strategies.pdf
 
Continuous integration practices to improve the software quality
Continuous integration practices to improve the software qualityContinuous integration practices to improve the software quality
Continuous integration practices to improve the software quality
 

Recently uploaded

Using IESVE for Room Loads Analysis - Australia & New Zealand
Using IESVE for Room Loads Analysis - Australia & New ZealandUsing IESVE for Room Loads Analysis - Australia & New Zealand
Using IESVE for Room Loads Analysis - Australia & New Zealand
IES VE
 
Webinar: Salesforce Document Management 2.0 - Smarter, Faster, Better
Webinar: Salesforce Document Management 2.0 - Smarter, Faster, BetterWebinar: Salesforce Document Management 2.0 - Smarter, Faster, Better
Webinar: Salesforce Document Management 2.0 - Smarter, Faster, Better
XfilesPro
 
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Globus
 
SOCRadar Research Team: Latest Activities of IntelBroker
SOCRadar Research Team: Latest Activities of IntelBrokerSOCRadar Research Team: Latest Activities of IntelBroker
SOCRadar Research Team: Latest Activities of IntelBroker
SOCRadar
 
Visitor Management System in India- Vizman.app
Visitor Management System in India- Vizman.appVisitor Management System in India- Vizman.app
Visitor Management System in India- Vizman.app
NaapbooksPrivateLimi
 
How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?
How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?
How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?
XfilesPro
 
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoamOpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
takuyayamamoto1800
 
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Anthony Dahanne
 
Explore Modern SharePoint Templates for 2024
Explore Modern SharePoint Templates for 2024Explore Modern SharePoint Templates for 2024
Explore Modern SharePoint Templates for 2024
Sharepoint Designs
 
De mooiste recreatieve routes ontdekken met RouteYou en FME
De mooiste recreatieve routes ontdekken met RouteYou en FMEDe mooiste recreatieve routes ontdekken met RouteYou en FME
De mooiste recreatieve routes ontdekken met RouteYou en FME
Jelle | Nordend
 
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...
Shahin Sheidaei
 
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.ILBeyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Natan Silnitsky
 
Strategies for Successful Data Migration Tools.pptx
Strategies for Successful Data Migration Tools.pptxStrategies for Successful Data Migration Tools.pptx
Strategies for Successful Data Migration Tools.pptx
varshanayak241
 
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Globus
 
Into the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdfInto the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdf
Ortus Solutions, Corp
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
Georgi Kodinov
 
Accelerate Enterprise Software Engineering with Platformless
Accelerate Enterprise Software Engineering with PlatformlessAccelerate Enterprise Software Engineering with Platformless
Accelerate Enterprise Software Engineering with Platformless
WSO2
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
Globus
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
Globus
 

Recently uploaded (20)

Using IESVE for Room Loads Analysis - Australia & New Zealand
Using IESVE for Room Loads Analysis - Australia & New ZealandUsing IESVE for Room Loads Analysis - Australia & New Zealand
Using IESVE for Room Loads Analysis - Australia & New Zealand
 
Webinar: Salesforce Document Management 2.0 - Smarter, Faster, Better
Webinar: Salesforce Document Management 2.0 - Smarter, Faster, BetterWebinar: Salesforce Document Management 2.0 - Smarter, Faster, Better
Webinar: Salesforce Document Management 2.0 - Smarter, Faster, Better
 
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
Exploring Innovations in Data Repository Solutions - Insights from the U.S. G...
 
SOCRadar Research Team: Latest Activities of IntelBroker
SOCRadar Research Team: Latest Activities of IntelBrokerSOCRadar Research Team: Latest Activities of IntelBroker
SOCRadar Research Team: Latest Activities of IntelBroker
 
Visitor Management System in India- Vizman.app
Visitor Management System in India- Vizman.appVisitor Management System in India- Vizman.app
Visitor Management System in India- Vizman.app
 
How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?
How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?
How Does XfilesPro Ensure Security While Sharing Documents in Salesforce?
 
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoamOpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
OpenFOAM solver for Helmholtz equation, helmholtzFoam / helmholtzBubbleFoam
 
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
Paketo Buildpacks : la meilleure façon de construire des images OCI? DevopsDa...
 
Explore Modern SharePoint Templates for 2024
Explore Modern SharePoint Templates for 2024Explore Modern SharePoint Templates for 2024
Explore Modern SharePoint Templates for 2024
 
De mooiste recreatieve routes ontdekken met RouteYou en FME
De mooiste recreatieve routes ontdekken met RouteYou en FMEDe mooiste recreatieve routes ontdekken met RouteYou en FME
De mooiste recreatieve routes ontdekken met RouteYou en FME
 
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...
Gamify Your Mind; The Secret Sauce to Delivering Success, Continuously Improv...
 
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.ILBeyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
Beyond Event Sourcing - Embracing CRUD for Wix Platform - Java.IL
 
Strategies for Successful Data Migration Tools.pptx
Strategies for Successful Data Migration Tools.pptxStrategies for Successful Data Migration Tools.pptx
Strategies for Successful Data Migration Tools.pptx
 
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
Climate Science Flows: Enabling Petabyte-Scale Climate Analysis with the Eart...
 
Into the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdfInto the Box 2024 - Keynote Day 2 Slides.pdf
Into the Box 2024 - Keynote Day 2 Slides.pdf
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
 
Accelerate Enterprise Software Engineering with Platformless
Accelerate Enterprise Software Engineering with PlatformlessAccelerate Enterprise Software Engineering with Platformless
Accelerate Enterprise Software Engineering with Platformless
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
 

Mathematically Guaranteeing Code Correctness with TrustInSoft

  • 1. 1 TRUST IN SOFT Mathematically Guaranteed Quality, Security and Safety on C and C++ Code
  • 3. 3 Hybrid code Analyzer combining advanced static and dynamic analysis techniques together with formal methods to mathematically guarantee C/C++ code quality & maximize code security and safety TrustInSoft Analyzer
  • 4. 4 < <<<<<< Built on 30 years of research and development at French Atomic Energy Commission (CEA) and initially used to secure code in airplanes Based on 30 years of R&D Recognized by the NIST as the first tool to meet the SATE V Ockham critera of exhaustivity and soundness and able to guarantee the absence of CWE key classes in ARM Mbed TLS Recognized by NIST Adopted by worldwide leading companies in aeronautics, defense, automotive, IoT, telecom & electronics Market proven TrustInSoft has been distinguished with awards from numerous reference bodies such as the Linux Foundation and the RSA Conference Award winning About Trust In Soft
  • 6. 6 Empowering SW developers & testers to… Ensure absence of crashes and deterministic behavior. Detect 0-days before they are known. Platform specific analysis without compiling. Exhaustively find and fix all Undefined Behaviors incl. the most hidden ones Determines and propagates the superset of all possible code values in execution paths. Boost coverage. Perform quickly the equivalent of billions of tests with 1 generalized inputs test Functional proof & absence of Undefined Behaviors (e.g. buffer overflow). Get mathematical guarantees on software security/safety Detect bugs quicker. Get hints on bug’s root cause. Explore interactively values of all variables & track evolution. Reduce Time to Market, software certification & verification efforts by >4X No False Alarms replaying your existing tests with discrete values. Focus efforts and time on real code issues E.g. ensure code does what it’s supposed to OR enforce architecture vision. Ensure software implementation is in line with specification Code safety & security Decrease code verification cost & time
  • 7. 7 Incremental journey to maximum safety & security Replay existing tests Generalize inputs & static analysis Check functional implementation • Instant productivity: find more bugs quicker • Mathematical guarantee that Undefined Behaviors resulting from discrete tested values are all detected • 0 false positives & 0 false negatives • Mathematical guarantee that all Undefined Behaviours are detected • 0 false negatives • Achieve up to 100% coverage on critical tests • Ensure implemented SW architecture and functions behave in line with spec • Full mathematical guarantee for safety and security 1. Interpreter 2. Analyzer 3. Functional proof
  • 8. 8 Resolving the Achilles’ heel of C and C++: Detecting all Undefined Behaviors • Memory access • Buffer overflow • Access out of bounds • Invalid pointers usage • Non-initialized variables • etc… • Arithmetic operations • Division by zero • Integer signed overflows • Overflow in float-to-int conversion • NaN in float computation • etc… • Race conditions Unpredictable outputs or program execution Code execution by an attacker & program intrusion Software misbehavior or crash Undefined behaviors are complex to detect and can lead to disastrous consequences:
  • 9. 9 + Formal methods (abstract interpretation, symbolic execution, hoare’s logic, model checking, weakest precondition…) The benefits of: • Reasons on application source code • Explores all possible execution paths Static AST Dynamic AST Interactive AST • Exhaustive input value coverage • Memory error & undefined behaviour detection • ACSL functional specification • Checks/Proves code behavior matches specification The best-of benefits of application security testing
  • 11. 11 Our customers’ primary drivers § Reduce SW test coverage costs § Bugs identification & remediation optimization § Bug correction priorization (no false positive) § Perform tests as if on target IMPROVE OPERATIONAL EFFICIENCY § Position safety and/or security as a feature to gain market share § Get certification level / smooth customer validation as a price premium § Secure Time to Market sensitive opportunities GENERATE REVENUE OPPORTUNITIES CONTROL FINANCIAL RISK § Reduce field support costs post-production § Avoid brand/image valuation impact Beyond Software Security and Safety
  • 12. 12 Improve Operational Efficiency Software coverage tests costs reduction Context • Industry: Aeronautics, Tier one Aeronautics SW provider • Product: In plane Gateway Communication Software Stack • Objective: SW Security enhancement Actions done • Generalized exhaustive software tests • All bugs at stage 1 detected & generalizing the inputs at stage 2 • Continuously replay the tests once bugs were fixed in successive SW commit Customer achievements • Verification time reduced from 4 months to 1 month • SW tests coverage is a million times superior to previous test base Cost impact • SW verification effort divided by 4
  • 13. 13 13 Improve Operational Efficiency Bugs detection & remediation optimization Context • Industry: Consumer Electronics • Product: Consumer Gateway software stack • Objective: Evaluate TrustInSoft benefits to reduce code verification efforts/Bugs finding Actions done • Replay existing tests in TrustInSoft Analyzer at stage 1 • Generalize test inputs at stage 2 Customer achievements • Before using TIS Analyzer: 2 developers during 1 week to identify the bug (10 man- days) • With TrustInSoft Analyzer: bug found & fixed in 2 hours Cost impact • Divide by 40 the effort for bug detection/correction
  • 14. 14 Generate Revenue Opportunities Market share driver Context • Industry: Rail, Tier 1 Rail software provider • Product: Automatic embedded software >300k LOC managing sensors inputs • Objective: Guarantee Mathematically the safety of the critical functions Actions done • Exhaustively generalize the inputs at stage 2 Customer achievements • No undefined behaviors were left in the source code for all possible inputs • Ensured software deterministic behavior & no crashes whatever the inputs • Achieve 100% input coverage on all/critical functions Cost impact • Increase market share – Differentiation through the mathematical guarantee to meet the customer extremely high level of safety requirements
  • 15. 15 Control Financial Risk Field Support costs reduction Context • Industry: Smart meter, Tier one provider • SW stack measuring customer energy consumption Actions done • Replay existing tests in TIS Analyzer to detect and remove Undefined Behaviours • Write more tests to increase % of functions covered • Generalize the inputs to increase % of states/values covered Customer achievements • Detected & fixed critical bugs • Coverage increase from 6% to 45% Cost impact • Reduce field support costs • Increase security level
  • 16. © 2021 TrustInSoft - Confidential How we help you succeed • Identify the key business drivers for your software testing/verification situation • Quantify current software testing/verification cost and impact • Estimate new Software testing/verification impact Business Track • Evaluate the tool performance vs the Software testing/verification objectives • Assess the best deployment steps vs the SW validation process in place • Validate the technical implementation vs the IT context Solution Track Explore business drivers, success measures and impacts associated with the way you test/verify your SW Explore your software tests requirements, use cases, workflows, internal processes, customers requirements Moving forward with TrustInSoft