Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Program slicing
biblio
Classification and Ranking of Delta Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 4:24pm
static code analysis
Human behavior
Resiliency
composability
codes
delta alarms
incremental analysis
Program slicing
pubcrawl
ranking and classification of alarms
Software systems
source coding
static analysis
version aware static analysis
biblio
Smart Contract Vulnerability Detection Using Code Representation Fusion
Submitted by aekwall on Tue, 05/10/2022 - 1:50pm
deep learning
smart contracts
pubcrawl
Metrics
Resiliency
Human behavior
Semantics
Compositionality
Manuals
Syntactics
codes
vulnerability detection
AST
code representation fusion
Fuses
Program slicing
biblio
FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
Submitted by aekwall on Mon, 01/20/2020 - 12:13pm
library function identification approach
dynamic analysis framework
dynamic analysis techniques
embedded firmware source code
FIoT framework
firmware analysis
firmware images
fuzzing
fuzzing test
hardware architectures
IoT device operating systems
IoT industry
CFG recovery approach
lightweight IoT device firmware images
lightweight IoT firmware
memory corruption
memory corruption vulnerabilities
Microprogramming
Program slicing
security researchers
time 170.0 s
time 210.0 s
time 40.0 s
zero trust
firmware
Scalability
Internet of Things
security
performance evaluation
system monitoring
Resiliency
pubcrawl
policy-based governance
program testing
Libraries
static analysis
computer network security
program diagnostics
Human Factors
operating systems (computers)
program compilers
Loading
lightweight IoT devices
address determination analysis
backward slice approach
binary code snippets
Binary codes
binary firmware
biblio
Scalable Verification Framework for C Program
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
scalability issues
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
program verification problem
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
abstraction refinement
program verification
Program slicing
program compilers
optimization
model checking
Metrics
memory consumption
lines-of-code
extended structural abstraction
context aware software verification
Compositionality
Complexity theory
C program verifiers
C language
automatic software verification framework
biblio
Scalable Framework for Accurate Binary Code Comparison
Submitted by grigby1 on Wed, 06/20/2018 - 12:50pm
maximum common subgraph
CG
comparison algorithm
empiric results heuristic method
exact matches
extensive binaries
forward slicing
functions matching process parallelization
heavily modified functions
high matching quality
IdaPro disassembler
main stages
matched vertices
matching process
call graph
old versions
PDG
practical applications
program dependence graph
programmatic changes
real world libraries
scalable framework
slightly modified functions
statically linked libraries
target program
unchanged modified functions
well-known bugs prevention
Libraries
graph theory
privacy
pubcrawl
Human behavior
invasive software
Algorithm design and analysis
tools
Semantics
Cloning
program diagnostics
Malware Analysis
resilience
Metrics
static analysis
Computer bugs
Resiliency
program debugging
Program slicing
Binary codes
accurate binary code comparison
backward slicing
binary code clone detection
Binary code comparison
binary files
Binnavi platform
calculated heuristics
biblio
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Submitted by grigby1 on Thu, 06/07/2018 - 3:11pm
pubcrawl
Human behavior
composability
resilience
Resiliency
long short-term memories
naïve Bayes classifier
Program slicing
static code analysis
biblio
An Improved Algorithm for Slicing Machine Code
Submitted by grigby1 on Tue, 05/30/2017 - 1:07pm
composability
granularity issue
IA-32 instruction set
Machine Code
Machine-code synthesis
Metrics
microcode- level SDG
program reconstitution
Program slicing
pubcrawl
taint analysis
