errors

  1. Home
  2. search page
  3. keyword

errors

정의: 정의를 찾을 수 없습니다.

📄 키워드 상세정보

핵심 연구 분야Verification
주요 연도2022년
주요 연관 키워드vulnerabilities
좋아요 수0

키워드별 논문 목록 (12건)

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis
저자: Tanmay Tirpankar , Artem Yadrov , Pavel Panchekha , Ganesh Gopalakrishnan
키워드: #error #unfortunately #crashes #errors #satire
파트: Verification | 연도: 2025
MemSpate: Memory Usage Protocol Guided Fuzzing
저자: Jiacheng Jiang , Zhiyuan Fu , Cheng Wen , Zhiwu Xu , Shengchao Qin
키워드: #vulnerabilities #software #discovery #fuzzing #errors
파트: Strategies | 연도: 2024
Towards Multi-Language Static Code Analysis
저자: Sanaa Siddiqui , Ravindra Metta , Kumar Madhukar
키워드: #engineering #industrial #difficult #hard #errors
파트: Strategies | 연도: 2023
Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis
저자: Sheikh Shadab Towqir , Bowen Shen , Muhammad Ali Gulzar , Na Meng
키워드: #software #tools #programmer #errors #jeopardizing
파트: Verification | 연도: 2023
Heterogeneous Syslog Analysis: There Is Hope
저자: Andres Quan , Leah Howell , Hugh N Greenberg
키워드: #computational #challenge #anomalies #problems #errors
파트: Analysis | 연도: 2023
Varangian: A Git Bot for Augmented Static Analysis
저자: Saurabh Pujar , Yunhui Zheng , Luca Buratti , Burn Lewis , Alessandro Morari , Jim Laredo , Kevin Postlethwait , Christoph Görn
키워드: #vulnerabilities #bugs #alarms #errors #counterproductive
파트: Software Development | 연도: 2022
IoT System Trustworthiness Assurance
저자: Sian En Ooi , Razvan Beuran , Yasuo Tan , Abbie O Barbir
키워드: #internet #attacks #errors #disturbances #dire
파트: Verification | 연도: 2022
HeapCheck: Low-cost Hardware Support for Memory Safety
저자: Gururaj Saileshwar , Rick Boivie , Tong Chen , Benjamin Segal , Alper Buyuktosunoglu
키워드: #invasive #problems #drawbacks #hard #errors
파트: Verification | 연도: 2022
A framework for OS portability: from formal models to low-level code
저자: Marcel Baunach , Renata Martins Gomes
키워드: #inconsistencies #developers #software #manually #errors
파트: Verification | 연도: 2022
In-fat pointer: hardware-assisted tagged-pointer spatial memory safety defense with subobject granularity protection
저자: Shengjie Xu , Wei Huang , David Jeun Fung Lie
키워드: #vulnerabilities #suffer #bugs #errors #programmers
파트: Verification | 연도: 2021