24,254 Hits in 13.5 sec

A static analysis for program understanding and debugging

R. Gaugne
Proceedings 12th IEEE International Conference Automated Software Engineering  
This paper presents a static pointer analysis technique for a subset of C. The tool supports user-defined assertions inserted in the body of the program.  ...  Assertions are of two kinds: static assertions automatically verified by the analyser, and hypothetical assertions treated as assumptions by the analyser.  ...  A useful technique for program understanding and debugging is the use of assertions inserted in the body of a program.  ... 
doi:10.1109/ase.1997.632853 dblp:conf/kbse/Gaugne97 fatcat:tme5cs6tgfaljhabzyqjqgwnim

Debugging Static Analysis [article]

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2018 arXiv   pre-print
To better understand the difficulties of debugging static analyses, we surveyed 115 static analysis writers.  ...  To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries that the programs use.  ...  ACKNOWLEDGEMENTS We thank the participants of our surveys and user studies for their invaluable input.  ... 
arXiv:1801.04894v1 fatcat:gfntmiq2wzatplqboopd3kf5di

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools [chapter]

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski
2000 Lecture Notes in Computer Science  
A crucial issue in static debugging is how to design a language for expressing specifications and results of static analysis.  ...  Static debugging aims at finding errors without executing the program. In DiSCiPl static debugging is based on static analysis of the program and on automatic checking of assertions.  ... 
doi:10.1007/10722311_1 fatcat:zcbjpcnscrh53fp6akdxweqrte

Implementation of CFG Based Natural Language Framework in Description of Syntax Errors in Imperative First Programming Languages: A Case Study from University of Baluchistan

Shafaque Saira Malik
2020 Zenodo  
The results of study reflect the time spent to debug and correct error was reduced as a result performance, motivation of the students increased and had impact on the cognitive load of students.  ...  We concluded that novices using this framework performed better with good understanding of static error handling, error correction with fewer number of errors.  ...  The authors are obliged to the Department of Computer science for the benefaction and facility. The authors would also like to thank all the pupils who contributed in the study.  ... 
doi:10.5281/zenodo.5148257 fatcat:qdz73nauuneaza7mr34k5dyb2m

Cost effective software engineering using program slicing techniques

Muhammad Saleem, Rasheed Hussain, Vasir Ismail, Shaikh Mohsin
2009 Proceedings of the 2nd International Conference on Interaction Sciences Information Technology, Culture and Human - ICIS '09  
It is broadly applicable static program analysis technique which provides mechanism to analyze and understand the program behavior for further restructuring and refinement.  ...  Big projects which are well planned and analyzed, can end up in a disaster because of mismanagement in cost estimation and time allocation.  ...  Figure 5 shows the difference between static and dynamic slicing. DEBUGGING AND PROGRAM ANALYSIS Debugging is considered as major issue in software evolution.  ... 
doi:10.1145/1655925.1656065 dblp:conf/interaction/SaleemHIM09 fatcat:3snzragl3ne7dnov2u2szb4x6y


2013 Journal of Computer Science  
It is a difficult task, which is to understand what the error is and how to solve such error?  ...  Debugging on computer program is a complex cognitive activity. Although it is complex, it's still one of the popular issues in computer programming task.  ...  JCS Sequence diagram for static object-oriented debugging model Collaboration diagram for static object-oriented debugging mode Science Publications JCS Class diagram for static object-oriented debugging  ... 
doi:10.3844/jcssp.2013.16.29 fatcat:jfao4hvzbbgibgijlmqtskvlau

Programmer Assisted Tool Impact on Static Error Handling Capability of Novices in Imperative First Programming Languages

Shumail Naveed Shafaque Saira Malik
2021 Zenodo  
Learning and understanding the syntax of a programming language is an extremely ordeal for novice programmers majoring in computer science. Introduction to programming is offered as a core subject.  ...  The quantitative mathematical analysis of our study revealed programming assistant tools has significantly influenced programming and static error handling skills of the students majoring CS.  ...  We are thankful to Mr.Yashran and Mrs.MumtazIdress for their encouragement and support. We are thankful to Mr. Saeed Kaker, Mr.Umer for their support.  ... 
doi:10.5281/zenodo.5149783 fatcat:4uox5yzpdzfehloupps3obhkfy

Systematic approaches for increasing soundness and precision of static analyzers

Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017  
Through a series of examples, we present our experience with semi-automated methods based on delta debugging and dynamic analysis for increasing soundness and precision of a static analyzer for JavaScript  ...  Building static analyzers for modern programming languages is difficult.  ...  Acknowledgments This work was supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No 647544).  ... 
doi:10.1145/3088515.3088521 dblp:conf/pldi/AndreasenMN17 fatcat:iabtsxzbwbe4rhwhcsnqgwqdsa

A Knowledge-based Automated Debugger in Learning System [article]

Abdullah Mohd Zin, Zarina Shukur Universiti Kebangsaan Malaysia, Bangi, Malaysia
2001 arXiv   pre-print
We propose a new knowledge-based automated debugger to be used as a user-friendly tool by the students to self-debug their own programs.  ...  Although there currently exist a number of debuggers and debugging tools in various platforms, most of these projects or products are crafted through the needs of software maintenance, and not through  ...  Program plans are abstract representations of the clichés or particular code patterns. Understanding even a small program is a complex task that requires both knowledge and analysis.  ... 
arXiv:cs/0101008v1 fatcat:o5nn2bdegffqzm4ot7iqj7yvlq

A Framework for Debugging Java Programs in a Bytecode [article]

Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H Miraz
2019 arXiv   pre-print
In the domain of Software Engineering, program analysis and understanding has been considered to be a very challenging task since decade, as it demands dedicated time and efforts.  ...  In this paper, we present a methodological approach towards understanding the Bytecode of Java programs. We put forward a framework for the debugging process of Java Bytecode.  ...  This is a small practice of the source code, which we have presented for understanding the analysis and debugging process.  ... 
arXiv:1904.12501v1 fatcat:eyzzlmk5ibhhnmifhbcsgyelbm

Program Debugging and Validation Using Semantic Approximations and Partial Specifications [chapter]

M. Hermenegildo, G. Puebla, F. Bueno, P. López-García
2002 Lecture Notes in Computer Science  
In this talk we discuss these issues and present a framework for combined static/dynamic validation and debugging using semantic approximations [7, 26, 21] which is meant to be a part of an advanced program  ...  statically for all programs.  ...  Ciao is specifically designed to a) be highly extendible and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by CiaoPP.  ... 
doi:10.1007/3-540-45465-9_7 fatcat:x36h4n7445a6xbknvgognvbw7u

Creation of CFG Based Natural Language Framework for Explication of Syntax Errors in First Programming Language Featuring Novices

Shafaque Saira Malik, Shumail Naveed,
2020 Zenodo  
This paper reports that self-directed static error resolution and illustration using natural language, enhanced understanding of static errors and decreased debugging time.  ...  This study analyzed the effectiveness of enhanced error messages in natural language on debugging .it is used as a teaching tool in introductory programming language.  ...  in simple and easy to understand format for novices and a result they have to spent least time on understanding and resolving errors IV.  ... 
doi:10.5281/zenodo.5010212 fatcat:slhdeiv24jdjbjh76awxoflbaa

Implementation of Malware Analysis using Static and Dynamic Analysis Method

Syarif YusirwanS, Yudi Prayudi, Imam Riadi
2015 International Journal of Computer Applications  
On this paper it will use two methods of malware analysis, static analysis and dynamic analysis. Static analysis is a method of malware analysis which done without running the malware.  ...  Malware analysis is a process to perform analysis of malware and how to study the components and behavior of malware.  ...  Debugging Debugging is a method to find the process and instructions of assembly/machine language that is obtained when running a program or piece of hardware.  ... 
doi:10.5120/20557-2943 fatcat:x4e3d4hdvfcyxdhgoazwwz7nn4

Static and Dynamic Analysis of Android Malware and Goodware Written with Unity Framework

Jaewoo Shim, Kyeonghwan Lim, Seong-je Cho, Sangchul Han, Minkyu Park
2018 Security and Communication Networks  
We first inspect the executable file format of a Unity app and present an effective static analysis technique of the Unity app.  ...  We propose static and dynamic reverse engineering techniques for malicious Unity apps.  ...  For program understanding or malware detection, many studies have been conducted on static or dynamic analysis techniques for various types of executable files (DEX, ELF, PE, etc.) on several processors  ... 
doi:10.1155/2018/6280768 fatcat:hrrfr5foyjadpampgzupyubnum

Debugging into Examples [chapter]

Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld
2009 Lecture Notes in Computer Science  
Enhancing and maintaining a complex software system requires detailed understanding of the underlying source code. Gaining this understanding by reading source code is difficult.  ...  Since software systems are inherently dynamic, it is complex and time consuming to imagine, for example, the effects of a method's source code at run-time.  ...  We gratefully acknowledge the financial support of the Hasso Plattner Design Thinking Research Program for our project "Agile Software Development in Virtual Collaboration Environments".  ... 
doi:10.1007/978-3-642-05031-2_18 fatcat:6sqoougvynfwfglayta5caqbgu
« Previous Showing results 1 — 15 out of 24,254 results