aboutsummaryrefslogtreecommitdiffhomepage
path: root/testexec/mainapp/definedness.slul
AgeCommit message (Expand)AuthorFilesLines
2024-06-02Don't use ref types for function referencesSamuel Lidén Borell1-0/+70
2024-05-26testexec: Call tests in definedness.slul from mainSamuel Lidén Borell1-0/+88
2024-05-26testexec: Fix missing var qualfiers in definedness.slulSamuel Lidén Borell1-16/+16
2024-05-13exprchk: Add none-ness check in deref exprsSamuel Lidén Borell1-0/+13
2024-05-12Tests: More tests of none-nessSamuel Lidén Borell1-2/+1
2024-05-12Allow passing not-none values to non-optional refsSamuel Lidén Borell1-3/+21
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-05-11Tracking of variable none-nessSamuel Lidén Borell1-0/+30
2022-11-01Fix bugs found with afl++. Add missing test fileSamuel Lidén Borell1-0/+13
2022-10-29Basic checking of switch/caseSamuel Lidén Borell1-0/+108
2022-10-29Fix reachablility check after else-ifs and blocksSamuel Lidén Borell1-0/+36
2022-10-25Fix variable definedness check after "else" with "return"Samuel Lidén Borell1-1/+65
2022-08-05Checking of variable definedness after goto. Fix definedness check of if/elseSamuel Lidén Borell1-0/+46
2022-08-04Add missing files from bf3debcfa3b0a44f81eebeef3a72da015bf33ec8Samuel Lidén Borell1-0/+75
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 21:59:46 +0000