Automated techniques and tools for program analysis: Survey

Ashish, Anupam; Aghav, Jagannath

doi:10.1109/icccnt.2013.6726693

Cited by 4 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Instrument. Lots of researches [24,25] have indicated that program instrumentation plays a very important role in program analysis. Program instrumentation can be used to memory access analysis [26], program behavior analysis [27], data structure recovery [28], and vulnerability mining [22], etc.…”

Section: Expanding the Usage Of Staticmentioning

confidence: 99%

SpotFuzzer: Static Instrument and Fuzzing Windows COTs

Gu¹,

Hui²,

Ma³

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

The security research on Windows has received little attention in the academic circle. Most of the new methods are usually designed for the Linux system and are difficult to transplant to Windows. Fuzzing for Windows programs always suffers from its closed source. Therefore, we need to find an appropriate way to achieve feedback from Windows programs. To our knowledge, there are no stable and scalable static instrumentation tools for Windows yet, and dynamic tools, such as DynamoRIO, have been criticized for their performance. To make matters worse, dynamic instrumentation tools have very limited usage scenarios and are impotent for many system services or large commercial software. In this paper, we proposed SpotInstr, a novel static tool for instrumenting Windows binaries. It is lightweight and can instrument most Windows PE programs in a very short time. At the same time, SpotInstr provides a set of filters, which can be used to select instrumentation points or restrict the target regions. Based on these filters, we propose a novel selective instrumentation method which can speed up both instrumentation and fuzzing. After that, we design a system called SpotFuzzer, which leverages the ability of SpotInstr and can fuzz most Windows binaries. We tested SpotInstr and SpotFuzzer in multiple dimensions to show their superior performance and stability.

show abstract

Section: Expanding the Usage Of Staticmentioning

confidence: 99%

SpotFuzzer: Static Instrument and Fuzzing Windows COTs

Gu¹,

Hui²,

Ma³

et al. 2022

Security and Communication Networks

View full text Add to dashboard Cite

show abstract

“…From an epistemic perspective, the implementation of a specified model on a computer requires a researcher to argue that the simulation model is an error free and correct software implementation of the simulation model specification on the given physical hardware. A formal, algorithmic code verification is often not feasible for complex software (D 'Silva et al 2008;Ashish and Aghav 2013).…”

Section: Implementing (3)mentioning

confidence: 99%

Simulation-Based Research in Information Systems

et al. 2018

View full text Add to dashboard Cite

Simulations provide a useful methodological approach for studying the behavior of complex socio-technical information systems (IS), in which humans and IT artefacts interact to process information. However, the use of simulations is relatively new in IS research and the current presence and impact of simulation-based studies is still limited. Furthermore, simulation-based research is quite different from other approaches, making it difficult to position and evaluate adequately. Therefore, this paper first analyses the particularities of simulation-based IS research that distinguish this approach from other, more conventional approaches. Based on this analysis, we then conduct a structured literature review of the status quo of simulation-based IS research, to understand how IS researchers currently employ simulation. In combination, a comparison of the theoretical potential of simulation-based research in IS with its current status quo enables us to derive a set of propositions, which provide guidance for prospective simulationbased research.

show abstract

Reverse Engineering UML Sequence Diagrams for Program Comprehension Activities

Cheers

Lin

2020

2020 5th International Conference on Innovative Technologies in Intelligent Systems and Industrial Applications (CITISIA)

View full text Add to dashboard Cite

Automated techniques and tools for program analysis: Survey

Cited by 4 publications

References 22 publications

SpotFuzzer: Static Instrument and Fuzzing Windows COTs

SpotFuzzer: Static Instrument and Fuzzing Windows COTs

Simulation-Based Research in Information Systems

Reverse Engineering UML Sequence Diagrams for Program Comprehension Activities

Contact Info

Product

Resources

About