aboutsummaryrefslogtreecommitdiffhomepage
path: root/src-cslul/funcchk.c
AgeCommit message (Expand)AuthorFilesLines
2024-06-02Don't use ref types for function referencesSamuel Lidén Borell1-0/+2
2024-05-12Check none-ness in implicit dereferencingSamuel Lidén Borell1-11/+3
2024-05-12Allow passing not-none values to non-optional refsSamuel Lidén Borell1-16/+10
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-05-11Tracking of variable none-nessSamuel Lidén Borell1-11/+156
2024-03-02Detect type-confusion of structs in SLUL_DEBUG modeSamuel Lidén Borell1-0/+5
2024-03-02Fix error recovery in the semantic checkerSamuel Lidén Borell1-1/+8
2023-09-09Fix search for implementation of methods and typeidentsSamuel Lidén Borell1-1/+1
2023-08-27Fix crash on generic function declarationsSamuel Lidén Borell1-2/+3
2023-08-16Fix missing "Operation has no effect" error in some casesSamuel Lidén Borell1-0/+42
2023-07-15Update copyright yearsSamuel Lidén Borell1-1/+1
2023-07-01Fix variable IDs of parameters in methodsSamuel Lidén Borell1-1/+2
2023-05-16IR generation: Implement methods, "this" and fieldsSamuel Lidén Borell1-2/+6
2023-05-14Basic checking of generic typesSamuel Lidén Borell1-1/+1
2023-05-14Use const in more placesSamuel Lidén Borell1-9/+11
2023-04-15funcchk: Silence errors for variables with non-existing typesSamuel Lidén Borell1-5/+7
2023-04-08Improve error messages in declarationsSamuel Lidén Borell1-5/+13
2022-12-09Fix clang warnings with -Wconditional-uninitializedSamuel Lidén Borell1-2/+3
2022-11-06Fix error handling/recovery in exprchk/funcchkSamuel Lidén Borell1-27/+33
2022-11-06Update TODO commentsSamuel Lidén Borell1-1/+1
2022-11-01Fix bugs found with afl++. Add missing test fileSamuel Lidén Borell1-2/+13
2022-10-30Update TODOsSamuel Lidén Borell1-1/+1
2022-10-29Basic checking of switch/caseSamuel Lidén Borell1-3/+44
2022-10-29Fix reachablility check after else-ifs and blocksSamuel Lidén Borell1-11/+13
2022-10-25Fix variable definedness check after "else" with "return"Samuel Lidén Borell1-2/+3
2022-10-22Basic checking of for loopsSamuel Lidén Borell1-3/+72
2022-08-13Fix warning about uninitialized variable in funcchkSamuel Lidén Borell1-1/+3
2022-08-05Checking of variable definedness after goto. Fix definedness check of if/elseSamuel Lidén Borell1-23/+96
2022-08-05Special handling of while true loopsSamuel Lidén Borell1-21/+56
2022-08-04Checking of flow of return/gotoSamuel Lidén Borell1-3/+39
2022-08-04Fix incorrect ctx->funcbody and uninitialized varstatesSamuel Lidén Borell1-0/+2
2022-08-04Tracking of variables definednessSamuel Lidén Borell1-9/+193
2022-08-01Assign IDs to variables (for checking definedness etc.)Samuel Lidén Borell1-2/+3
2022-07-25Fix assertion failures in the verifier (part 1)Samuel Lidén Borell1-12/+14
2022-07-24Fix assertion failures and Internal Compiler Errors in the verifierSamuel Lidén Borell1-3/+10
2022-07-18Fix/improve checking of return statementsSamuel Lidén Borell1-5/+9
2022-07-18Prevent deep recursion with else-ifSamuel Lidén Borell1-5/+6
2022-07-18Checking of expr/if/while/assert statementsSamuel Lidén Borell1-14/+72
2022-07-17Checking of local variable declarationsSamuel Lidén Borell1-2/+19
2022-06-15Fix warning in unity buildsSamuel Lidén Borell1-2/+2
2022-05-26Checking of expressions in return statementsSamuel Lidén Borell1-5/+62
2022-05-13Basic structure for expr checksSamuel Lidén Borell1-0/+1
2022-05-07Rename stmtchk.c to funcchk.cSamuel Lidén Borell1-0/+44
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-19 16:57:37 +0000