analyzers

  1. Home
  2. search page
  3. keyword

analyzers

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

📄 키워드 상세정보

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

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

Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)
저자: Yihua Xu , Chengyu Zhang , Geguang Pu
키워드: #security #software #tools #automate #analyzers
파트: Verification | 연도: 2025
Semantic-Enhanced Indirect Call Analysis with Large Language Models
저자: Haoyu Wang , Baijun Cheng , Cen Zhang , Kailong Wang , Ling Shi , Yang Liu , Yao Guo , Ding Li , Xiangqun Chen
키워드: #engineering #software #experimental #tools #analyzers
파트: Strategies | 연도: 2024
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers
저자: Zsófia Ádám , Dirk Beyer , Po-Chun Chien , Nian-Ze Lee , Nils Sirrenberg
키워드: #challenging #hardware #tools #analyzers #verifying
파트: Verification | 연도: 2024
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
저자: Huaien Zhang , Yu Pei , Junjie Chen , Shinhwei Tan
키워드: #inconsistencies #heuristic #analyzer #analyzers #heuristics
파트: Strategies | 연도: 2023
The Challenges of Shift Left Static Analysis
저자: Thanh Vu H Nguyen , Kim Hao Nguyen , Quoc-Sang Phan
키워드: #research #development #challenging #software #analyzers
파트: Strategies | 연도: 2023
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
저자: Austin Mordahl , Dakota Soles , Miao Miao , Zenong Zhang , Shiyi Wei
키워드: #powerful #tools #configurable #analyzers #reproducible
파트: Verification | 연도: 2023
Field-based static taint analysis for industrial microservices
저자: Yulei Sui , Zexin Zhong , Jiangchao Liu , Diyu Wu , Peng Di , Alex X Liu
키워드: #industrial #scalability #analyzers #microservices #practical
파트: Strategies | 연도: 2022
Analyzing Software Security-related Size and its Relationship with Vulnerabilities in OSS
저자: Elaine Venson , Ting Fung Lam , Bradford Clark , Barry Boehm
키워드: #software #study #programming #analyzers #162
파트: Verification | 연도: 2021
BinSide : Static Analysis Framework for Defects Detection in Binary Code
저자: Hayk Aslanyan , Mariam Arutunian , Grigor Keropyan , Shamil Kurmangaleev , Vahagn Vardanyan
키워드: #software #tools #mistakes #analyzers #defects
파트: Verification | 연도: 2020