11 papers · ranked by Valyu relevance
Pietro Braione, Giovanni Denaro, Luca Gugliemo, Elson Kurian + 2 more
Context. Since the eighties, the combination of program analysis techniques has been increasingly recognized as a promising approach to overcome the limitations of standalone methods. While individual techniques, based on either static or dynamic analysis, address important challenges in software dependability, their…
Michael Hanus, Fabian Reck
We present a system, called CASS, for the analysis of functional logic programs. The system is generic so that various kinds of analyses (e.g., groundness, non-determinism, demanded arguments) can be easily integrated. In order to analyze larger applications consisting of dozens or hundreds of modules, CASS supports a…
Roberto Baldoni, Emilio Coppa, Daniele Cono D’Elia, Camil Demetrescu + 1 more
'Irene Finocchi'] Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program's authentication. One…
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
'Heike Wehrheim'] In this paper, we discuss a generalization of ranged symbolic execution to arbitrary program analyses. More specifically, we present a verification approach that splits programs into path ranges and then runs arbitrary analyses on the ranges in parallel. Our approach in particular allows to run…
Lisa J. Burnell, Eric Horvitz
We describe the integration of logical and uncertain reasoning methods to identify the likely source and location of software problems. To date, software engineers have had few tools for identifying the sources of error in complex software packages. We describe a method for diagnosing software problems through…
Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H. Miraz
'Mahdi H. Miraz'] Abstract— 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. The analysis of source code may occasionally be comparatively easier due to its static nature, however, the…
Rasha Omar, Mostafa Abbas, Ahmed El-Mahdy, Erven Rohou + 1 more
'Rafael Sachetto Oliveira'] With the widespread of multicore systems, automatic parallelization becomes more pronounced, particularly for legacy programs, where the source code is not generally available. An essential operation in any parallelization system is detecting data dependence among parallelization candidate…
Jannis Stoppe, Rolf Drechsler, Albert M. K. Cheng
The complexity of hardware designs is still increasing according to Moore's law. With embedded systems being more and more intertwined and working together not only with each other, but also with their environments as cyber physical systems (CPSs), more streamlined development workflows are employed to handle the…
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte + 1 more
Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of programs, but hitherto there has been no integration of full-scale…
Ziying Dai, Xiaoguang Mao, Yan Lei, Yuhua Qi + 2 more
API protocols specify correct sequences of method invocations. Despite their usefulness, API protocols are often unavailable in practice because writing them is cumbersome and error prone. Multiple object API protocols are more expressive than single object API protocols. However, the huge number of objects of typical…
Hector Florez, Mario Sánchez, Jorge Villalobos
Enterprise models are created for documenting and communicating the structure and state of Business and Information Technologies elements of an enterprise. After models are completed, they are mainly used to support analysis. Model analysis is an activity typically based on human skills and due to the size and…