Static Analyzer of Vicious Executables (SAVE)

被引：0
|
作者：
Department of Computer Science, New Mexico Tech, Socorro, NM 87801, United States [1 ]
不详 [2 ]
机构：
来源：
Applied Computer Security Associates | 1600年 / 326-334卷 / 2004期
关键词：
Compendex;
D O I：
20th Annual Computer Security Applications Conference, ACSAC 2004
中图分类号：
学科分类号：
摘要：
Algorithms - Computer software - Data acquisition - Electronic mail - Internet - Reverse engineering
引用
收藏
相关论文
共 50 条
  • [21] Detection of Malicious Executables Using Static and Dynamic Features of Portable Executable (PE) File
    Awan, Saba
    Saqib, Nazar Abbas
    SECURITY, PRIVACY AND ANONYMITY IN COMPUTATION, COMMUNICATION AND STORAGE, (SPACCS 2016), 2016, 0067 : 48 - 58
  • [22] Cobra - An Interactive Static Code Analyzer
    Holzmann, Gerard
    PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 1 - 1
  • [23] Learning a static analyzer from data
    Bielik, Pavol
    Raychev, Veselin
    Vechev, Martin
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10426 LNCS : 233 - 253
  • [24] Combination of abstractions in the ASTREE static analyzer
    Cousot, Patrick
    Cousot, Radhia
    Feret, Jerome
    Mauborgne, Laurent
    Mine, Antoine
    Monniaux, David
    Rival, Xavier
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 272 - +
  • [25] A static analyzer for Industrial robotic applications
    Mandal, Avijit
    D'Souza, Meenakshi
    Jetley, Raoul
    Nair, Sreeja
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 24 - 27
  • [26] The parallel implementation of the ASTREE static analyzer
    Monniaux, D
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 86 - 96
  • [27] The Julia Static Analyzer for Java']Java
    Spoto, Fausto
    STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 39 - 57
  • [28] Learning a Static Analyzer from Data
    Bielik, Pavol
    Raychev, Veselin
    Vechev, Martin
    COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 233 - 253
  • [29] CESAR - A STATIC SEQUENCING CONSTRAINT ANALYZER
    OLENDER, KM
    OSTERWEIL, LJ
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 66 - 74
  • [30] A new C static analyzer: The Compiler
    Martignano, Maurizio
    Ada User Journal, 2019, 40 (02): : 99 - 102
12345