4 papers · 1 filter
A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System
Jukka Ruohonen, Krzysztof Sierszecki, Abhishek Tiwari
The paper presents a longitudinal measurement study on the adoption of the pledge and unveil system calls in OpenBSD. These system calls are used to sandbox programs and libraries.…
Undefined Behavior in C and C++: An Experiment With Desktop Use Cases
Jukka Ruohonen, Krzysztof Sierszecki
Undefined behavior is idiomatic to C and C++ programming; such behavior is a use of an erroneous program construct for which the languages impose no requirements, such as integer o…
CAKE: Cloud Architecture Knowledge Evaluation of Large Language Models
Tim Lukas Adam, Phongsakon Mark Konrad, Riccardo Terrenzi +4
In today's software architecture, large language models (LLMs) serve as software architecture co-pilots. However, no benchmark currently exists to evaluate large language models' a…
A Static Analysis of Popular C Packages in Linux
Jukka Ruohonen, Mubashrah Saddiqa, Krzysztof Sierszecki
Static analysis is a classical technique for improving software security and software quality in general. Fairly recently, a new static analyzer was implemented in the GNU Compiler…