sel4 ([email protected])

Number of posts: 1 (1 per day)
First post: 2023-07-24 23:17:41
Last post: 2023-07-24 23:17:41

Date List Subject
2023-07-24 23:17:41 linux-kernel [PATCH] fortify: strnlen: Call fortify_panic() only if the number of bytes read is greater than maxlen