An Abstract Syntax Tree based static fuzzing mutation for vulnerability evolution analysis
W Zheng, P Deng, K Gui, X Wu - Information and Software Technology, 2023 - Elsevier
Context: Zero-day vulnerabilities are highly destructive and sudden. However, traditional
static and dynamic testing methods cannot efficiently detect them. Objective: In this paper, a …
static and dynamic testing methods cannot efficiently detect them. Objective: In this paper, a …
Understanding memory and thread safety practices and issues in real-world Rust programs
Rust is a young programming language designed for systems software development. It aims
to provide safety guarantees like high-level languages and performance efficiency like low …
to provide safety guarantees like high-level languages and performance efficiency like low …
[HTML][HTML] Safe systems programming in Rust
Safe systems programming in Rust Page 1 144 COMMUNICATIONS OF THE ACM | APRIL
2021 | VOL. 64 | NO. 4 contributed articles THERE IS A longstanding tension in …
2021 | VOL. 64 | NO. 4 contributed articles THERE IS A longstanding tension in …
Learning and programming challenges of rust: A mixed-methods study
Rust is a young systems programming language designed to provide both the safety
guarantees of high-level languages and the execution performance of low-level languages …
guarantees of high-level languages and the execution performance of low-level languages …
Stay safe under panic: Affine rust programming with multiparty session types
Communicating systems comprise diverse software components across networks. To ensure
their robustness, modern programming languages such as Rust provide both strongly typed …
their robustness, modern programming languages such as Rust provide both strongly typed …
A study of real-world data races in Golang
M Chabbi, MK Ramanathan - Proceedings of the 43rd ACM SIGPLAN …, 2022 - dl.acm.org
The concurrent programming literature is rich with tools and techniques for data race
detection. Less, however, has been known about real-world, industry-scale deployment …
detection. Less, however, has been known about real-world, industry-scale deployment …
Actris: Session-type based reasoning in separation logic
JK Hinrichsen, J Bengtson, R Krebbers - Proceedings of the ACM on …, 2019 - dl.acm.org
Message passing is a useful abstraction to implement concurrent programs. For real-world
systems, however, it is often combined with other programming and concurrency paradigms …
systems, however, it is often combined with other programming and concurrency paradigms …
A comprehensive study of Mozi botnet
TF Tu, JW Qin, H Zhang, M Chen, T Xu… - International Journal of …, 2022 - Wiley Online Library
With the trend of digital transformation of enterprises, the use of Internet of Things (IoT)
devices is increasing. IoT devices that are not protected by security measures have …
devices is increasing. IoT devices that are not protected by security measures have …
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Interrupt-driven embedded software is widely used in aerospace, automotive electronics,
medical equipment, IoT, and other industrial fields. This type of software is usually …
medical equipment, IoT, and other industrial fields. This type of software is usually …
Gobench: A benchmark suite of real-world go concurrency bugs
Go, a fast growing programming language, is often considered as “the programming
language of the cloud”. The language provides a rich set of synchronization primitives …
language of the cloud”. The language provides a rich set of synchronization primitives …