Savunmasızlığın matematiksel temelleri hakkında daha fazla bilgi almak ve geliştirmeden yararlanmak istiyorum. çevrimiçi kaynaklar veya doğru yöndeki kitaplar yardımcı olacaktır.
Statik program analizi hakkında okuyacaktım
Statik program analizi, programları gerçekten çalıştırmadan gerçekleştirilen bilgisayar yazılımının analizidir (analiz, çalışan programlar üzerinde dinamik analiz olarak bilinir). Çoğu durumda analiz, kaynak kodun bazı sürümlerinde ve diğer durumlarda da nesne kodunun bir formunda gerçekleştirilir.
Dinamik program analizi, programları gerçek veya sanal bir işlemci üzerinde çalıştırarak gerçekleştirilen bilgisayar yazılımlarının analizidir. Dinamik program analizinin etkili olabilmesi için, hedef programın ilginç davranışlar üretmeye yetecek kadar test girdisi ile yürütülmesi gerekir
Bilgisayar biliminde, soyut yorumlama, bilgisayar programlarının semantiğinin, sıralı kümeler, özellikle de kafesler üzerindeki monoton fonksiyonlara dayanan bir ses yaklaşımı teorisidir. Tüm hesaplamaları yapmadan semantiği (örneğin kontrol akışı, veri akışı) hakkında bilgi edinen bir bilgisayar programının kısmi bir uygulaması olarak görülebilir.
Bilgisayar biliminde sembolik yürütme (aynı zamanda sembolik değerlendirme), programların gerçek değerlerden ziyade sembolik izleme yoluyla analiz edilmesini ifade eder, bir soyut yorum durumu. Sembolik simülasyon alanı, aynı kavramı donanıma da uygular. Sembolik hesaplama, kavramı matematiksel ifadelerin analizine uygular. Sembolik yürütme, bir program aracılığıyla aynı yolu izleyen tüm girdiler hakkında mantık yürütmek için kullanılır.
Matematik ve bilgisayar bilimlerinde, sembolik hesaplama veya cebirsel hesaplama olarak da adlandırılan bilgisayar cebiri, matematiksel ifadeleri ve diğer matematiksel nesneleri işlemek için algoritmaların ve yazılımların incelenmesi ve geliştirilmesine atıfta bulunan bilimsel bir alandır
Bilgisayar biliminde simülasyon, uygun şekilde modellenmiş bazı durum geçiş sistemlerinin yürütülmesinin bir hesaplamasıdır. Tipik olarak bu süreç, sistemin tam durumunu ayrı bir doğrusal zaman çerçevesi içinde ayrı noktalarda modeller ve her bir durumu öncülünden sırayla hesaplar.
Bilgisayar biliminde, model kontrolü, yani özellik kontrolü şu soruna işaret eder: Bir sistem modeli verildiğinde, bu modelin belirli bir spesifikasyonu karşılayıp karşılamadığını kapsamlı ve otomatik olarak kontrol edin.
Sistem Güvencesi: Güvenlik Açıklarını Algılamanın Ötesinde adlı makaleyi okumak isteyebilir.
Rolf'un muhtemelen bu konuda gerçekten çok iyi girdileri vardır. Tavsiyesini buradan
okuyunGörünüşe göre, yaklaşık bir yıl önce birisi reddit'te aşağı yukarı aynı soruyu sordu ve buna oldukça kapsamlı bir yanıt gönderdim ve bu arada ben de düzenlemeye devam ettim.