Inference of static semantics for incomplete C programs

Melo, Leandro T. C.; Ribeiro, Rodrigo; Araújo, Marcus Rodrigues de; Pereira, Fernando Magno Quintão

doi:10.1145/3158117

Cited by 17 publications

(3 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…E.g., Zhong et al [81] propose an approach that resolves unknown types and function calls for partial Java programs by analyzing the existing complete program versions. Melo et al [82] present a technique to support the compilation of incomplete C code.…”

Section: Partial Programsmentioning

confidence: 99%

Execution of Partial State Machine Models

Bagherzadeh

Kahani

Jahed

et al. 2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at early stages of software development allows early detection of defects, which can be fixed more easily and at lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps: static analysis, automatic refinement, and input-driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML-RT (i.e., a modeling language for the development of soft real-time systems) that embodies our proposed framework. We evaluated PMExec based on several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance, and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally, and show how the refinement preserves the original behaviors of the model.

show abstract

Section: Partial Programsmentioning

confidence: 99%

Execution of Partial State Machine Models

Bagherzadeh

Kahani

Jahed

et al. 2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Melo et al [3] develop PsycheC, with a similar goal as ours, but for the C language. They build a lattice structure for various standard C types to bind variables to them during constraint generation for type inference.…”

Section: Rq3: Time Complexity and Overheadmentioning

confidence: 99%

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable

Gupta¹,

Mehrotra²,

Purandare³

2020

Preprint

View full text Add to dashboard Cite

Static program analysis tools are often required to work with only a small part of a programs source code, either due to the unavailability of the entire program or the lack of need to analyze the complete code. This makes it challenging to use static analysis tools that require a complete and typed intermediate representation (IR). We present JCoffee, a tool that leverages compiler feedback to convert partial Java programs into their compilable counterparts by simulating the presence of missing surrounding code. It works with any well-typed code snippet (class, function, or even an unenclosed group of statements) while making minimal changes to the input code fragment. A demo of the tool is available here: https://youtu.be/O4h2g n2Qls

show abstract

“…The analysis of code partially available makes it possible to test parts of a polyglot program in separate, in a way to produce a cohesive view of the entire system. This technique has been demonstrated to yield analyzable Java source code [37], and compilable C code [38]. Notice that this type of reconstruction is not restricted to high-level programming languages.…”

Section: Polyglot Programmingmentioning

confidence: 99%

The computer for the 21st century: present security & privacy challenges

Oliveira

Pereira

Misoczki

et al. 2018

J Internet Serv Appl

Self Cite

View full text Add to dashboard Cite

Decades went by since Mark Weiser published his influential work on the computer of the 21st century. Over the years, some of the UbiComp features presented in that paper have been gradually adopted by industry players in the technology market. While this technological evolution resulted in many benefits to our society, it has also posed, along the way, countless challenges that we have yet to surpass. In this paper, we address major challenges from areas that most afflict the UbiComp revolution: 1. Software Protection: weakly typed languages, polyglot software, and networked embedded systems. 2. Long-term Security: recent advances in cryptanalysis and quantum attacks. 3. Cryptography Engineering: lightweight cryptosystems and their secure implementation. 4. Resilience: issues related to service availability and the paramount role of resilience. 5. Identity Management: requirements to identity management with invisibility. 6. Privacy Implications: sensitivity data identification and regulation. 7. Forensics: trustworthy evidence from the synergy of digital and physical world. We point out directions towards the solutions of those problems and claim that if we get all this right, we will turn the science fiction of UbiComp into science fact.

show abstract

Inference of static semantics for incomplete C programs

Cited by 17 publications

References 43 publications

Execution of Partial State Machine Models

Execution of Partial State Machine Models

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable

The computer for the 21st century: present security & privacy challenges

Contact Info

Product

Resources

About