Source Code Analysis

1. Kannan Jegapathi: kjegapat@cisco.com
Technical Leader Engineering
September/01/2021
Source Code Analysis
Updated September 2021

2. © 2021 Cisco and/or its affiliates. All rights reserved. Cisco Confidential 2
© 2021 Cisco and/or its affiliates. All rights reserved. Cisco Confidential
Agenda
•The Vision
•The Approach

3. © 2018 Cisco and/or its affiliates. All rights reserved. Cisco Confidential
Auto Analysis
Involve/Adopt/Innovate
Manually Written
Vendor Code
Contrib Code
Template Auto-Generated
RCA
IFD
IFR
CFD
Telemetry
Assurance
Dashboard
Feed
GDB
LOGs
…
UNIT TEST
INTEGRATION TEST
SYSTEM TEST
Auto-generate Test Vectors
Operational DB Data Providers
Automatic Correlation
&
Dashboard Feeds
CUSTOM
MANUAL SCRIPTS
opengrok
Automatic
Correlation
&
First Cut
RCA
Automatic
Correlation
&
Relationships
Navigation
The Vision

4. © 2021 Cisco and/or its affiliates. All rights reserved. Cisco Confidential 4
The Vision (Continued…)
• KLEE: https://klee.github.io/
Use Symbolic Execution Engine to drive Automated Unit Testing
• IPC End Points
• Finite State Machines
Sophisticated relationship amongst Entities in the Source Code
• This is the ability to move forwards and backwards in time around a specific event to see the state
changes.
Point in time view for all data in Operational and Configuration Data
• Semantic browsing
Root Cause Analysis Assist

5. © 2021 Cisco and/or its affiliates. All rights reserved. Cisco Confidential 5
The Approach
Compiler Tool-Chain Plug-ins
Source Elements Entities
Functions Variables Etc..,
Source Element Relationships
Function
Control Flow
Graph
Module Call
Flow Graph
Use/Def Chain
Specialized
Dominator
Trees
Etc..,
Source Code Analysis Applications
Classifiers
Data Mining
AI ML
Constraint Solvers
Z3 SMT Solver https://developers.google.co
m/optimization/cp
KLEE
https://klee.github.io/
Presentation
Source Code Overlay
https://codemirror.net/
Rendering
https://d3js.org/
CI/CD
Integration