· 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.
ÇıkarımlarUygulamada
Ana noktalarUygulamada
Makaleye SorUygulamada
Devamı Pofolia uygulamasında
Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.
Web'de giriş yaparak açAlan: Yazılım
SoftwareComputer Science