Zobrazeno 1 - 10
of 4 204
pro vyhledávání: '"Static analyzer"'
Publikováno v:
Proc. of 2022 IEEE/ACM 1st Conference on AI Engineering - Software Engineering for AI (CAIN), May 16-24, 2022, Pittsburgh, PA, USA
Jupyter Notebook is the tool of choice of many data scientists in the early stages of ML workflows. The notebook format, however, has been criticized for inducing bad programming practices; indeed, researchers have already shown that open-source repo
Externí odkaz:
http://arxiv.org/abs/2205.11934
We present an automatic static analyzer PyTea that detects tensor-shape errors in PyTorch code. The tensor-shape error is critical in the deep neural net code; much of the training cost and intermediate results are to be lost once a tensor shape mism
Externí odkaz:
http://arxiv.org/abs/2112.09037
We provide the semantics of garbage collection (GC) for the Lua programming language. Of interest are the inclusion of finalizers(akin to destructors in object-oriented languages) and weak tables (a particular implementation of weak references). The
Externí odkaz:
http://arxiv.org/abs/2005.13057
Autor:
Gadelha, Mikhail R., Steffinlongo, Enrico, Cordeiro, Lucas C., Fischer, Bernd, Nicole, Denis A.
We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we complement CSA's existing heuristics that remove spurious bug reports
Externí odkaz:
http://arxiv.org/abs/1810.12041
To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under analysis. While important, manually addressing these challenges is diffi
Externí odkaz:
http://arxiv.org/abs/1611.01752
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kashyap, Vineeth, Dewey, Kyle, Kuefner, Ethan A., Wagner, John, Gibbons, Kevin, Sarracino, John, Wiedermann, Ben, Hardekopf, Ben
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addi
Externí odkaz:
http://arxiv.org/abs/1403.3996
We describe the design and the implementation of PAGAI, a new static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical variables of the analyzed program. PAGAI implements various state-of-the
Externí odkaz:
http://arxiv.org/abs/1207.3937
Autor:
Martignano, Maurizio1 Maurizio.Martignano@spazioit.com
Publikováno v:
Ada User Journal. Jun2019, Vol. 40 Issue 2, p99-102. 4p.
Autor:
Geneves, Pierre, Layaida, Nabil
This document describes how to use the XML static analyzer in practice. It provides informal documentation for using the XML reasoning solver implementation. The solver allows automated verification of properties that are expressed as logical formula
Externí odkaz:
http://arxiv.org/abs/0812.3550