· 2016
SVF: LLVM'de Prosedürler Arası Statik Değer Akışı Analizi
SVF: interprocedural static value-flow analysis in LLVM
- 420atıf
- 2016yıl
Kısa özet
SVF, C programları için ölçeklenebilir ve hassas prosedürler arası statik değer akışı analizi gerçekleştiren yeni bir LLVM tabanlı araçtır ve iteratif değer akışı ve işaretçi analizi yoluyla hassasiyeti artırır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- SVF, C programları için ölçeklenebilir ve hassas prosedürler arası statik değer akışı analizi sağlar.
- Hassasiyeti artırmak için değer akışı ve işaretçi analizinin iteratif bir yaklaşımını kullanır.
- SVF, tüm değişkenlerin tanımlama-kullanma zincirlerini yakalayan prosedürler arası bir bellek SSA formu oluşturur.
- Araç, kullanıcıların kendi çözümlerini kolayca yazmaları için Graf, Kurallar ve Çözücü bileşenleriyle genişletilebilir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
© 2016 ACM. This paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis. SVF, which is fully implemented in LLVM, allows value-flow construction and pointer analysis to be performed in an iterative manner, thereby providing increasingly improved precision for both. SVF accepts pointsto information generated by any pointer analysis (e.g., Andersen's analysis) and constructs an interprocedural memory SSA form, in which the def-use chains of both top-level and address-taken variables are captured. Such value-flows can be subsequently exploited to support various forms of program analysis or enable more precise pointer analysis (e.g., flow-sensitive analysis) to be performed sparsely. By dividing a pointer analysis into three loosely coupled components: Graph, Rules and Solver, SVF provides an extensible interface for users to write their own solutions easily. SVF is publicly available at http://unsw-corg.github.io/SVF.
Yazarların özeti; kaynağından alınmıştır., 2016 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Yazılım
SoftwareComputer Science