Filter
Conference paper

Search results

  • 2023

    Brigadier: A Datalog-based IAST framework for Node.js Applications

    Scull Pupo, A. L., Nicolay, J. & Gonzalez Boix, E., 21 Mar 2023, 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Zhang, T., Xia, X. & Novielli, N. (eds.). Taipa, Macau: IEEE, p. 509-521 13 p. (Proceedings - 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
  • Change Pattern Detection for Optimising Incremental Static Analysis

    Wauters, C., Van der Plas, J., Stiévenart, Q. & De Roover, C., Oct 2023, SCAM 23rd IEEE International Working Conference on Source Code Analysis and Manipulation. Moonen, L., Newman, C. & Gorla, A. (eds.). IEEE, p. 49-60 12 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
  • Control and Data Flow in Security Smell Detection for Infrastructure as Code: Is It Worth the Effort?

    Opdebeeck, R., Zerouali, A. & De Roover, C., 15 May 2023, Proceedings of the 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR 2023). IEEE, p. 534-545 12 p. (Proceedings - 2023 IEEE/ACM 20th International Conference on Mining Software Repositories, MSR 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    168 Downloads (Pure)
  • Dynamic Slicing of WebAssembly Binaries

    Stiévenart, Q., Binkley, D. & De Roover, C., 2023, (Accepted/In press) Proceedings of the 39th IEEE International Conference on Software Maintenance and Evolution (ICSME 2023) . IEEE, p. 84-96 13 p. (Proceedings - 2023 IEEE International Conference on Software Maintenance and Evolution, ICSME 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
  • Helm Charts for Kubernetes Applications: Evolution, Outdatedness and Security Risks

    Zerouali, A., Opdebeeck, R. & De Roover, C., 15 May 2023, Proceedings of the 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR 2023). IEEE, p. 523-533 11 p. (Proceedings - 2023 IEEE/ACM 20th International Conference on Mining Software Repositories, MSR 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    89 Downloads (Pure)
  • MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis

    Van der Plas, J., Nicolay, J., De Meuter, W. & De Roover, C., Apr 2023, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023). Scitepress, Vol. 1. p. 420-427 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings; vol. 2023-April).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    16 Downloads (Pure)
  • Result Invalidation for Incremental Modular Analyses

    Van der Plas, J., Stiévenart, Q. & De Roover, C., 17 Jan 2023, Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 16-17, 2023. Dragoi, C., Emmi, M. & Wang, J. (eds.). Cham: Springer, Vol. 13881. p. 296-319 24 p. (Lecture Notes in Computer Science; vol. 13881).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    1 Citation (Scopus)
  • The Docker Hub Image Inheritance Network: Construction and Empirical Insights

    Opdebeeck, R., Lesy, J. S., Zerouali, A. & De Roover, C., 1 Oct 2023, Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2023). Moonen, L., Newman, C. & Gorla, A. (eds.). IEEE, p. 198-208 11 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
  • 2022

    Security Risks of Porting C Programs to WebAssembly

    Stiévenart, Q., De Roover, C. & Ghafari, M., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. ACM, p. 1713-1722 10 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    4 Citations (Scopus)
    140 Downloads (Pure)
  • Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries

    Stiévenart, Q., Binkley, D. & De Roover, C., 2022, The 44th International Conference on Software Engineering (ICSE 2022). ACM, p. 2031-2042 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    8 Citations (Scopus)
  • Summary-Based Compositional Analysis for Soft Contract Verification

    Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). 22 ed. IEEE, p. 186-196 11 p. (Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    1 Citation (Scopus)
    31 Downloads (Pure)
  • 2021

    QSES: Quasi-Static Executable Slicing

    Stiévenart, Q., Binkley, D. & De Roover, C., 27 Sep 2021, 21st IEEE International Working Conference on Source Code Analysis and Manipulation (NIER Track). IEEE, p. 209-213 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    26 Downloads (Pure)
  • The Security Risk of Lacking Compiler Protection in WebAssembly

    Stiévenart, Q., De Roover, C. & Ghafari, M., 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security, QRS 2021. IEEE, p. 132-139 8 p. (IEEE International Conference on Software Quality, Reliability and Security, QRS; vol. 2021-December).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    4 Citations (Scopus)
    72 Downloads (Pure)
  • 2020

    A Parallel Worklist Algorithm for Modular Analyses

    Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 1-12 12 p. 9252039. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    3 Citations (Scopus)
    77 Downloads (Pure)
  • Compositional Information Flow Analysis for WebAssembly Programs

    Stiévenart, Q. & De Roover, C., 27 Sep 2020, 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, September 27-28, 2020. IEEE, p. 13-24 12 p. 9252076. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    15 Citations (Scopus)
    246 Downloads (Pure)
  • Incremental Flow Analysis through Computational Dependency Reification

    Van der Plas, J., Stiévenart, Q., Van Es, N. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 25-36 12 p. 9252058. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    3 Citations (Scopus)
    102 Downloads (Pure)
  • MAF: A Framework for Modular Static Analysis of Higher-Order Languages

    Van Es, N., Van der Plas, J., Stiévenart, Q. & De Roover, C., 27 Sep 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 37-42 6 p. 9252057. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

    Open Access
    File
    5 Citations (Scopus)
    170 Downloads (Pure)