Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 22 for “"program slicing"”.
-
Leveraging program slicing to understand network traffic
This project centers around utilizing the concept of backward slice analysis of a binary to reconstruct the contents of a function call. To that end, a suite of modular tools will be developed to enable an analyst to glean relevant information about what data a binary is accessing and what it is …
-
Utilizing the notion of removable blocks to enhance program slicing algorithms
Program slicing is a program decomposition technique that transforms a large program into a smaller one that contains only statements relevant to the computation of a selected function. Applications of program slicing can be found in software testing, debugging and maintenance where program slicing …
-
Advanced Slicing of Sequential and Concurrent Programs
Program slicing is a technique to identify statements that may influence the computations in other statements. Despite the ongoing research of almost 25 years, program slicing still has problems that prevent a widespread use: Sometimes, slices are too big to understand and too expensive and …
-
Executables from Program Slices for Java Programs
Program slicing is a popular program decomposition and analysis technique that extracts only those program statements that are relevant to particular points of interest. Executable slices are program slices that are independently executable and that correctly compute the values in the slicing …
-
An ontology-based reengineering methodology for service orientation
… code is extracted by dependency analysis and program slicing. Some rules are defined in code query language for the detection of dead code. Program slicing techniques are applied as main reverse engineering techniques to recover executable legacy code. An Executable Union Slicing (EUS) …
-
A Bayesian network framework for fusing spectrum-based fault localization and forward slicing
… can degrade in complex, multi-fault programs where coverage information alone is insufficient. Program slicing, in contrast, provides precise structural dependencies but often lacks statistical fault evidence. In this thesis, a generalizable probabilistic fusion framework is presented …
-
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
… zwischen verschiedenen Sicherheitsniveaus. Program-Slicing und Constraint-Solving sind eigenständige Verfahren, die sowohl zur Abhängigkeitsbestimmung als auch zur Berechnung arithmetischer Eigenschaften verwendet werden. Die erstmalige Kombination dieser beiden Verfahren mittels …
-
Abstract state machines: verification problems and computational power
… testing. One such possibility is the concept of slicing ASMS which we introduce in the third part of this work. The idea is analogous to the one of program slicing aiming to extract statements from a program that are relevant for its behavior at a given point of interest. These statements form …
-
Reachability Analysis of RTL Circuits Using k-Induction Bounded Model Checking and Test Vector Compaction
… code is presented. To do this, it approach uses program slicing with respect to the variables of the property under test to generate small-sized SMT formulas that describe the change of variable values between consecutive cycles. Variable substitution is then used on these variables to generate …
-
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software
… First, we propose a tight integration of program slicing, which is an important static program analysis technique, with bounded model checking (BMC). While many software verification tools apply program slicing as a separate preprocessing step, we integrate slicing operations into our …
-
Verification, slicing, and visualization of programs with contracts
… information concerning the behaviour of a program, why not explore this fact to slice a program in a semantic sense aiming at optimizing it or easing its verification? It was this idea that Comuzzi, in 1996, introduced with the notion of postcondition-based slicing | slice a program using …
-
Model Checking Pointer Safety in Compiled Programs
… technique for the automated analysis of compiled programs, which is focused on, but not restricted to, pointer safety properties. Our approach, which we refer to as Symbolic Object Code Analysis (SOCA), employs bounded symbolic execution, and uses an SMT solver as execution and verification …
-
A Sparse Program Dependence Graph For Object Oriented Programming Languages
The Program Dependence Graph (PDG) has achieved widespread acceptance as a useful tool for software engineering, program analysis, and automated compiler optimizations. This thesis presents the Sparse Object Oriented Program Dependence Graph (SOOPDG), a formalism that contains elements of …
-
An Approach to Implementing Cloud Service Oriented Legacy Application Evolution
… Cloud environment and to adopt the techniques of program slicing with improved algorithm and software clustering for extracting legacy components. 2) Cloud-oriented service migration including evolving software into and within Cloud. The process of evolving software “INTO” Cloud can be viewed …
-
Program Transformations for Vulnerability Detection in Binary Executable Files
… and detection have been developed for high-level programming languages but little research has been carried out to detect vulnerability in binary executable codes. This remains a major challenge that must be addressed in the computer science community. This is important given that the first point …
-
Extending Traditional Static Analysis Techniques to Support Development, Testing and Maintenance of Component-Based Solutions
… techniques for helping understand and optimize programs, such as dead code elimination, program slicing, and partial evaluation (code specialization). It is well understood that compared to other program analysis techniques (e.g., dynamic analysis), static analysis techniques do a reasonable job …
-
High Quality Test Generation at the Register Transfer Level
… test generation is presented utilizing program slicing and data mining. The abstraction allows us to generate high quality test vectors that navigate extremely narrow paths in the state space. The method reaches previously unseen levels of coverage and is able to justify very difficult …
Page 1 of 2