Journal ArticleDOI
A Complexity Measure
Reads0
Chats0
TLDR
Several properties of the graph-theoretic complexity are proved which show, for example, that complexity is independent of physical size and complexity depends only on the decision structure of a program.Abstract:
This paper describes a graph-theoretic complexity measure and illustrates how it can be used to manage and control program complexity. The paper first explains how the graph-theory concepts apply and gives an intuitive explanation of the graph concepts in programming terms. The control graphs of several actual Fortran programs are then presented to illustrate the correlation between intuitive complexity and the graph-theoretic complexity. Several properties of the graph-theoretic complexity are then proved which show, for example, that complexity is independent of physical size (adding or subtracting functional statements leaves complexity unchanged) and complexity depends only on the decision structure of a program.read more
Citations
More filters
Journal ArticleDOI
DEFECTCHECKER: Automated smart contract defect detection by analyzing EVM bytecode
TL;DR: DefectChecker, a symbolic execution-based approach and tool to detect eight contract defects that can cause unwanted behaviors of smart contracts on the Ethereum blockchain platform, is proposed and compared with key previous works, including Oyente, Mythril and Securify.
Proceedings Article
Less is More: Quantifying the Security Benefits of Debloating Web Applications
TL;DR: The results show that the process of debloating removes code associated with tens of historical vulnerabilities and further shrinks a web application’s attack surface by removing unnecessary external packages and abusable PHP gadgets.
Journal ArticleDOI
Establishing a software defect prediction model via effective dimension reduction
TL;DR: A LTSA algorithm is used to extract the intrinsic structure of low-dimensional data and performs effective dimension reduction and the model employs the SVM algorithm as the basic classifier of software defect distribution prediction model.
Proceedings Article
Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning
TL;DR: A general framework for choosing the most relevant software features to estimate the effort of automated attacks and shows that features such as the number of community structures in the graphrepresentation of symbolic path-constraints, are far more relevant for predicting deobfuscation time than other features generally used to measure the potency of controlflow obfuscation.
Proceedings ArticleDOI
An initial study on the use of execution complexity metrics as indicators of software vulnerabilities
Yonghee Shin,Laurie Williams +1 more
TL;DR: The results indicate that execution complexity metrics are better indicators of vulnerable code locations than the most commonly-used static complexity metric, lines of source code.
References
More filters
Journal ArticleDOI
Structured Programming with go to Statements
TL;DR: For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to Statements" is probably the paper to read.
Journal ArticleDOI
Analysis of structured programs
TL;DR: It is shown that an arbitrary program P is reducible to a D-chart if and only if P does not contain a loop with two distinct exits.
Journal ArticleDOI
A genealogy of control structures
TL;DR: It is argued further that there is insufficient evidence to warrant more than if-then-else, while-do, and their variants and the importance of one-in, one-out control structures as operational abstractions.