Results 21 to 30 of about 19,566 (235)
A Gray Box for Visualizing Instruction Sequence Based on Improved Suffix Tree
IEEE Access, 2020 Gray box is a kind of device in which the working process of a program or system is locally recognized. Gray box testing, also known as gray box analysis, is a software debugging method based on the limited cognition of the internal details of the ...
Donglin Wang, Jiandong Fang
doaj +1 more source
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We summarise our experience developing and using Termite, the first reactive synthesis tool intended for use by software development practitioners. We identify the main barriers to making reactive synthesis accessible to software developers and describe ...
Leonid Ryzhyk, Adam Walker
doaj +1 more source
Dynamic and Transparent Analysis of Commodity Production Systems [PDF]
, 2010 We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for virtualization available nowadays on all commodity machines, our framework is
Fattori, Aristide +3 more
core +1 more source
ANaN — ANalyse And Navigate: Debugging Compute Clusters with Techniques from Functional Programming and Text Stream Processing [PDF]
EPJ Web of Conferences, 2020 Monitoring is an indispensable tool for the operation of any large installation of grid or cluster computing, be it high energy physics or elsewhere. Usually, monitoring is configured to collect a small amount of data, just enough to enable detection of ...
Adler Alexander, Kebschull Udo
doaj +1 more source
Proceedings of the 7th Workshop on Dynamic Languages and Applications, 2013 The debugger is an essential tool in any programming environment, as it helps developers understand the dynamic behaviour of software systems. However, traditional debuggers fail in answering domain-specific questions, as the semantics of what they show and do are fixed.
Chiçs Andrei +2 more
openaire +2 more sources
Application of software emulators for the binary code analysis
Труды Института системного программирования РАН, 2018 The article presents the experience of using software emulators as a tool for dynamic analysis of binary code: as a machine instruction tracer, and as a smart interactive debugger.
P. M. Dovgalyuk +4 more
doaj +1 more source
Security Analysis of Simpel Desa using Mobile Security Framework and ISO 27002:2013
Intensif: Jurnal Ilmiah Penelitian Teknologi dan Penerapan Sistem Informasi, 2023 The Personal Identification Number or KTP is prone to be stolen and used by unwanted parties, this is also a possibility for the Simpel Desa, a village administration application that also contain and use the Personal Identification Number.
Khairunnisak Nur Isnaini +1 more
doaj +1 more source
Stealth debugging of programs in Qemu emulator with WinDbg debugger
Труды Института системного программирования РАН, 2018 When programs are analyzed for the presence of vulnerabilities and malicious code, there is a need for a quality isolation of the analysis tools. There are two reasons for this. At first, the program can influence the tool environment.
M. A. Abakumov, P. M. Dovgalyuk
doaj +1 more source
On the Reverse Engineering of the Citadel Botnet [PDF]
, 2014 Citadel is an advanced information-stealing malware which targets financial information. This malware poses a real threat against the confidentiality and integrity of personal and business data. A joint operation was recently conducted by the FBI and the
A Rahimian +4 more
core +3 more sources
Performance of the OpenMP and MPI implementations on ultrasparc system [PDF]
Компьютерные исследования и моделирование, 2015 This paper targets programmers and developers interested in utilizing parallel programming techniques to enhance application performance. The Oracle Solaris Studio software provides state-of-the-art optimizing and parallelizing compilers for C, C++ and ...
A. V. Bogdanov, K. Ko P. Sone, K. Zaya
doaj +1 more source