Deepinfer: Deep type inference from smart contract bytecode
Smart contracts play an increasingly important role in Ethereum platform. It provides various
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …
Run your research: on the effectiveness of lightweight mechanization
C Klein, J Clements, C Dimoulas, C Eastlund… - ACM SIGPLAN …, 2012 - dl.acm.org
Formal models serve in many roles in the programming language community. In its primary
role, a model communicates the idea of a language design; the architecture of a language …
role, a model communicates the idea of a language design; the architecture of a language …
Abstract interpretation: past, present and future
P Cousot, R Cousot - Proceedings of the Joint Meeting of the Twenty …, 2014 - dl.acm.org
Abstract interpretation is a theory of abstraction and constructive approximation of the
mathematical structures used in the formal description of complex or infinite systems and the …
mathematical structures used in the formal description of complex or infinite systems and the …
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation
P Lermusiaux, B Montagu - European Symposium on Programming, 2024 - Springer
Exception handling is a key feature in modern programming languages. Exceptions can be
used to deal with errors, or as a means to control the flow of execution of a program. Since …
used to deal with errors, or as a means to control the flow of execution of a program. Since …
Widening for control-flow
B Hardekopf, B Wiedermann, B Churchill… - … , Model Checking, and …, 2014 - Springer
We present a parameterized widening operator that determines the control-flow sensitivity of
an analysis, ie, its flow-sensitivity, context-sensitivity, and path-sensitivity. By instantiating the …
an analysis, ie, its flow-sensitivity, context-sensitivity, and path-sensitivity. By instantiating the …
[PDF][PDF] Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation (Extended Version)
P Lermusiaux, B Montagu - 2024 - inria.hal.science
Exception handling is a key feature in modern programming languages. Exceptions can be
used to deal with errors, or as a means to control the flow of execution of a program. Since …
used to deal with errors, or as a means to control the flow of execution of a program. Since …
A structural soundness proof for Shivers's escape technique: A case for Galois connections
Shivers's escape technique enables one to analyse the control flow of higher-order program
fragments. It is widely used, but its soundness has never been proven. In this paper, we …
fragments. It is widely used, but its soundness has never been proven. In this paper, we …
Code coverage criteria and their effect on test suite qualities
M Kalkov, D Pamakha - 2013 - odr.chalmers.se
The efficiency of software testing is often assessed based on the results of code coverage
analysis, which is performed using such criteria as function, statement and …
analysis, which is performed using such criteria as function, statement and …
[图书][B] Configurable and Sound Static Analysis of JavaScript: Techniques and Applications
V Kashyap - 2015 - search.proquest.com
JavaScript is widespread. Web developers use JavaScript to enrich user experience via
dynamic content ranging from scripts to enhance a web page's appearance, to full-blown …
dynamic content ranging from scripts to enhance a web page's appearance, to full-blown …
[PDF][PDF] Run Your Research
C Klein, J Clements, C Dimoulas, C Eastlund… - ccs.neu.edu
Formal models serve in many roles in the programming language community. In its primary
role, a model communicates the idea of a language design; the architecture of a language …
role, a model communicates the idea of a language design; the architecture of a language …