Viewing profile — quentinkent1

quentinkent1

HN member

No profile information was provided.

comment
Comment #34640751
The goal of the user is to prove some properties over an input program. Usual properties are: all array accesses are within boundaries, no division by zero, all used values are ini…

Fri, Feb 03, 2023, 1:26 PM UTC
comment
Comment #34637995
Also Mathworks Polyspace Code Prover: https://mathworks.com/products/polyspace-code-prover.html

Fri, Feb 03, 2023, 6:57 AM UTC
comment
Comment #29579202
Why don't they reuse CodeQL to provide a true code search using maybe a subset of CodeQL capabilities?

Thu, Dec 16, 2021, 3:35 PM UTC