Automating Seccomp Filter Generation for Linux Applications

被引:17
|
作者
Canella, Claudio [1 ]
Werner, Mario [1 ]
Gruss, Daniel [1 ]
Schwarz, Michael [2 ]
机构
[1] Graz Univ Technol, Graz, Austria
[2] CISPA Helmholtz Ctr Informat Secur Germany, Saarbrucken, Germany
基金
欧洲研究理事会;
关键词
seccomp; Linux; automated syscall filtering;
D O I
10.1145/3474123.3486762
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Software vulnerabilities undermine the security of applications. By blocking unused functionality, the impact of potential exploits can be reduced. While seccomp provides a solution for filtering syscalls, it requires manual implementation of filter rules for each individual application. Recent work has investigated approaches to automate this task. However, aswe show, these approaches make assumptions that are not necessary or require overly time-consuming analysis. In this paper, we propose Chestnut, an automated approach for generating strict syscall filters with lower requirements and limitations. Chestnut comprises two phases, with the first phase consisting of two static components, i.e., a compiler and a binary analyzer, that statically extract the used syscalls. The compiler-based approach of Chestnut is up to factor 73 faster than previous approaches with the same accuracy. On the binary level, our approach extends over previous ones by also applying to non-PIC binaries. An optional second phase of Chestnut is dynamic refinement to restrict the set of allowed syscalls further. We demonstrate that Chestnut on average blocks 302 syscalls (86.5 %) via the compiler and 288 (82.5 %) using the binary analysis on a set of 18 applications. Chestnut blocks the dangerous exec syscall in 50 % and 77.7 % of the tested applications using the compiler- and binary-based approach, respectively. For the tested applications, Chestnut blocks exploitation of more than 61 % of the 175 CVEs that target the kernel via syscalls.
引用
收藏
页码:139 / 151
页数:13
相关论文
共 50 条
  • [31] AUTOMATING THE CHROMATOGRAPHY REPORT GENERATION PROCESS
    JUSTICE, J
    AMERICAN LABORATORY, 1989, 21 (11) : 54 - &
  • [32] Ant: Automating the process of building applications
    Serrano, N
    Ciordia, I
    IEEE SOFTWARE, 2004, 21 (06) : 89 - 91
  • [33] Automating the Creation of Compound Web Applications
    Binder, Walter
    Constantinescu, Ion
    Faltings, Boi
    Jurca, Radu
    ERCIM NEWS, 2008, (72): : 44 - 45
  • [34] Automating the Debugging of Datacenter Applications with ADDA
    Zamfir, Cristian
    Altekar, Gautam
    Stoica, Ion
    2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2013,
  • [35] Towards Rehosting Embedded Applications as Linux Applications
    Srinivasan, Jayashree
    Tanksalkar, Sai Ritvik
    Amusuo, Paschal C.
    Davis, James C.
    Machiry, Aravind
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOLUME, DSN-S, 2023, : 94 - 99
  • [36] Enabling Linux in Aerospace Applications
    VanderLeest, Steven H.
    Stewart, Kate
    2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, 2023,
  • [37] Linux in practice: An overview of applications
    Bollinger, T
    IEEE SOFTWARE, 1999, 16 (01) : 72 - +
  • [38] Invited: Automating Hardware Security Property Generation
    Kastner, Ryan
    Restuccia, Francesco
    Meza, Andres
    Ray, Sayak
    Fung, Jason
    Sturton, Cynthia
    PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 1384 - 1387
  • [39] Automating weight function generation in graph pebbling
    Flocco, Dominic
    Pulaj, Jonad
    Yerger, Carl
    Discrete Applied Mathematics, 2024, 347 : 155 - 174
  • [40] Automating Weight Function Generation in Graph Pebbling
    Flocco, Dominic
    Pulaj, Jonad
    Yerger, Carl
    SSRN, 2022,