InfERL: scalable and extensible Erlang static analysis-Reference-Cited by-同舟云学术

InfERL: scalable and extensible Erlang static analysis

Published:2022-09-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang
language:
Short-container-title:

Author:

Hajdu Ákos¹,Marescotti Matteo¹,Suzanne Thibault¹,Mao Ke¹,Grigore Radu¹,Gustafsson Per¹,Distefano Dino¹

Affiliation:

1. Meta, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3546186.3549929

Reference19 articles.

1. Deploying Search Based Software Engineering with Sapienz at Facebook

2. Amazon. 2021. Amazon CodeGuru now includes recommendations powered by Infer. http://aws.amazon.com/about-aws/whatsnew/2021/10/amazon-codeguru-recommendations-infer/. Online accessed 29 July 2022. Amazon. 2021. Amazon CodeGuru now includes recommendations powered by Infer. http://aws.amazon.com/about-aws/whatsnew/2021/10/amazon-codeguru-recommendations-infer/. Online accessed 29 July 2022.

3. Smallfoot: Modular Automatic Assertion Checking with Separation Logic

4. Infer: An Automatic Program Verifier for Memory Safety of C Programs

5. Moving Fast with Software Verification

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated End-to-End Dynamic Taint Analysis for WhatsApp;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

2. Safe Process State Upgrades Through Static Analysis;2024 IEEE 18th International Symposium on Applied Computational Intelligence and Informatics (SACI);2024-05-23

3. PrivacyCAT: Privacy-Aware Code Analysis at Scale;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14

4. TLS the Erlang/OTP Way (Experience Report);Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang;2023-08-30