DSI: an evidence-based approach to identify dynamic data structures in C programs-Reference-Cited by-同舟云学术

DSI: an evidence-based approach to identify dynamic data structures in C programs

Published:2016-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

White David H.¹,Rupprecht Thomas¹,Lüttgen Gerald¹

Affiliation:

1. University of Bamberg, Germany

Publisher

ACM

Link

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

Reference28 articles.

1. GNU bash v4.3.30. https://www.gnu.org/software/ bash/. Accessed: 17th May 2016. GNU bash v4.3.30. https://www.gnu.org/software/ bash/. Accessed: 17th May 2016.

2. libusb 1.0.20. http://www.libusb.info/. Accessed: 17th May 2016. libusb 1.0.20. http://www.libusb.info/. Accessed: 17th May 2016.

3. Linux Kernel 4.1 Cyclic DLL(include/linux/list.h). http://www.kernel.org/. Accessed: 17th May 2016. Linux Kernel 4.1 Cyclic DLL(include/linux/list.h). http://www.kernel.org/. Accessed: 17th May 2016.

4. Olden Benchmark v1.01. http://www.martincarlisle .com/olden.html. Accessed: 17th May 2016. Olden Benchmark v1.01. http://www.martincarlisle .com/olden.html. Accessed: 17th May 2016.

5. Predator/Forester GIT Repository. In particular examples: lit1: tests/forester/dll-duplicate-sels.c lit2: tests/skip-list/jonathan-skip-list.c lit3: tests/forester/cav13_tests/slllistoftwoclists-linux.c lit4: tests/predator-regre/test-0234.c. https://github.com/kdudka/predator. Accessed: 17th May 2016. Predator/Forester GIT Repository. In particular examples: lit1: tests/forester/dll-duplicate-sels.c lit2: tests/skip-list/jonathan-skip-list.c lit3: tests/forester/cav13_tests/slllistoftwoclists-linux.c lit4: tests/predator-regre/test-0234.c. https://github.com/kdudka/predator. Accessed: 17th May 2016.

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

1. Heap Patterns for Memory Graph Visualization;2022 Working Conference on Software Visualization (VISSOFT);2022-10

2. Shape-analysis driven memory graph visualization;Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension;2022-05-16

3. TypeMiner: Recovering Types in Binary Programs Using Machine Learning;Detection of Intrusions and Malware, and Vulnerability Assessment;2019

4. Generating Inductive Shape Predicates for Runtime Checking and Formal Verification;Leveraging Applications of Formal Methods, Verification and Validation. Verification;2018

5. POSTER;Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security;2016-10-24