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 条
  • [41] Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
    Journault, Matthieu
    Mine, Antoine
    Monat, Raphael
    Ouadjaout, Abdelraouf
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, VSTTE 2019, 2020, 12031 : 1 - 18
  • [42] VBSAC: A Value-Based Static Analyzer for C
    Li, Chi
    Zhou, Min
    Gu, Zuxing
    Chen, Guang
    Wang, Yuexing
    Wu, Jiecheng
    Gu, Ming
    PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 382 - 385
  • [43] Improved Loop Execution Modeling in the Clang Static Analyzer
    Szecsi, Peter
    Horvath, Gabor
    Porkolab, Zoltan
    ACTA CYBERNETICA, 2022, 25 (04): : 909 - 921
  • [44] Loopfrog: A Static Analyzer for ANSI-C Programs
    Kroening, Daniel
    Sharygina, Natasha
    Tonetta, Stefano
    Tsitovich, Aliaksei
    Wintersteiger, Christoph M.
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 668 - 670
  • [45] Comparison of Static and Dynamic Analyzer Tools for iOS Applications
    Arpita Jadhav Bhatt
    Chetna Gupta
    Wireless Personal Communications, 2017, 96 : 4013 - 4046
  • [46] An User Configurable Clang Static Analyzer Taint Checker
    Arroyo, Marcelo
    Chiotta, Francisco
    Bavera, Francisco
    PROCEEDINGS OF THE 2016 35TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC), 2016,
  • [47] An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer
    Christakis, Maria
    Mueller, Peter
    Wuestholz, Valentin
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 336 - 354
  • [48] A static analyzer for large safety-critical software
    Blanchet, B
    Cousot, P
    Cousot, R
    Feret, J
    Mauborgne, L
    Miné, A
    Monniaux, D
    Rival, X
    ACM SIGPLAN NOTICES, 2003, 38 (05) : 196 - 207
  • [49] A generic static analyzer for multithreaded Java']Java programs
    Ferrara, P.
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
  • [50] Comparison of Static and Dynamic Analyzer Tools for iOS Applications
    Bhatt, Arpita Jadhav
    Gupta, Chetna
    WIRELESS PERSONAL COMMUNICATIONS, 2017, 96 (03) : 4013 - 4046
12345