skip to main content
Idioma:
Refinado por: Nome da Publicação: Arxiv.Org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool
Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coyote C++: An Industrial-Strength Fully Automated Unit Testing Tool

Rho, Sanghoon ; Martens, Philipp ; Shin, Seungcheol ; Kim, Yeoneo ; Heo, Hoon ; Oh, SeungHyun

arXiv.org, 2023-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
A Risk Estimation Study of Native Code Vulnerabilities in Android Applications
A Risk Estimation Study of Native Code Vulnerabilities in Android Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Risk Estimation Study of Native Code Vulnerabilities in Android Applications

Sanna, Silvia Lucia ; Soi, Diego ; Maiorca, Davide ; Fumera, Giorgio ; Giacinto, Giorgio

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Parsing Millions of URLs per Second
Parsing Millions of URLs per Second
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parsing Millions of URLs per Second

Nizipli, Yagiz ; Lemire, Daniel

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
MESH: A Memory-Efficient Safe Heap for C/C++
MESH: A Memory-Efficient Safe Heap for C/C++
Material Type:
Artigo 		Adicionar ao Meu Espaço

MESH: A Memory-Efficient Safe Heap for C/C++

Vintila, Emanuel Q ; Zieris, Philipp ; Horsch, Julian

arXiv.org, 2021-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Model Checking C++ Programs
Model Checking C++ Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking C++ Programs

Monteiro, Felipe R ; Gadelha, Mikhail R ; Cordeiro, Lucas C

arXiv.org, 2021-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Using Off-the-Shelf Exception Support Components in C++ Verification
Using Off-the-Shelf Exception Support Components in C++ Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Off-the-Shelf Exception Support Components in C++ Verification

Štill, Vladimír ; Ročkai, Petr ; Barnat, Jiří

arXiv.org, 2018-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision
Material Type:
Artigo 		Adicionar ao Meu Espaço

Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision

Jaiswal, Swati ; Khedker, Uday P ; Chakraborty, Supratik

arXiv.org, 2018-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Binary Debloating for Security via Demand Driven Loading
Binary Debloating for Security via Demand Driven Loading
Material Type:
Artigo 		Adicionar ao Meu Espaço

Binary Debloating for Security via Demand Driven Loading

Mururu, Girish ; Porter, Chris ; Barua, Prithayan ; Pande, Santosh

arXiv.org, 2019-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Mesh: Compacting Memory Management for C/C++ Applications
Mesh: Compacting Memory Management for C/C++ Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mesh: Compacting Memory Management for C/C++ Applications

Powers, Bobby ; Tench, David ; Berger, Emery D ; McGregor, Andrew

arXiv.org, 2019-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Source Code Verification for Embedded Systems using Prolog
Source Code Verification for Embedded Systems using Prolog
Material Type:
Artigo 		Adicionar ao Meu Espaço

Source Code Verification for Embedded Systems using Prolog

Flederer, Frank ; Ostermayer, Ludwig ; Seipel, Dietmar ; Montenegro, Sergio

arXiv.org, 2017-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.