GitHub / checkedc/checkedc / commits
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| 46fb6340 | Remove use of stdcheckedc.h from some tests. (#505) |
David Tarditi <d****i@c****g>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| 8321e58d | Update URLs and move the history section later in the README.md file. (#502) |
David Tarditi <d****i@c****g>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| 8b0d5f75 | Update README.md |
David Tarditi <d****i@c****g>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| ee166f7a | merge Merge pull request #485 from checkedc/fork |
David Tarditi <d****i@c****g>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 466798b2 | Remove Microosft-specific security reporting file. | David Tarditi <d****i@c****g> | about 2 years ago | |
| 41344bee | merge Merge remote-tracking branch 'origin/master' | David Tarditi <d****i@c****g> | about 2 years ago | |
| 936ad214 | Declare Version 1.0 of the Checked C spec. | David Tarditi <d****i@c****g> | almost 3 years ago | |
| 84ae80fa | add a flag to only add typematic changes, or only checked-c or both | arun <b****1@p****u> | almost 3 years ago | |
| 3ea0294f | Update Checked C specification to match the compiler implementation part 1 (#... |
David Tarditi <d****i@s****g>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| 9544bafa | Fix Checked C tests on Mac OS (#502) |
David Tarditi <d****i@s****g>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| a37445f2 | Update README.md |
David Tarditi <d****i@s****g>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| 3c8b3fc4 | Update README.md |
David Tarditi <d****i@s****g>
Committed by: GitHub <n****y@g****m> |
about 3 years ago | |
| 7affd420 | Add University of Washington PLSE working lightning talk. (#482) |
David Tarditi <d****i@s****g>
Committed by: GitHub <n****y@g****m> |
over 3 years ago | |
| 10109620 | Move presentations directory to top-level. (#481) |
David Tarditi <d****i@s****g>
Committed by: GitHub <n****y@g****m> |
over 3 years ago | |
| 44b52ca7 | Checked C macro test cases. |
Arunkumar Bhattar <9****r@u****m>
Committed by: GitHub <n****y@g****m> |
over 3 years ago | |
| 24a60e59 | merge Merge pull request #479 from secure-sw-dev/3c-headers-update |
David Tarditi <d****i@c****m>
Committed by: GitHub <n****y@g****m> |
over 3 years ago | |
| 93642c73 | Fix typo in signal_checked.h | David Tarditi <d****i@m****m> | over 3 years ago | |
| 7121a0c5 | Adjust a few header files for Windows | David Tarditi <d****i@m****m> | almost 4 years ago | |
| 9c50960b | Some minor potential fixes. | David Tarditi <d****i@m****m> | almost 4 years ago | |
| a0461e8d |
Microsoft mandatory file (#481)
Co-authored-by: microsoft-github-policy-service[bot] <7****]@u****m> |
microsoft-github-policy-service[bot] <7****]@u****m>
Committed by: GitHub <n****y@g****m> |
almost 4 years ago | |
| d5fc02c4 | merge Merge branch 'master' of https://github.com/correctcomputation/checkedc into ... | David Tarditi <d****i@m****m> | over 4 years ago | |
| fc99671f | Additional updates to README.md (#477) |
David Tarditi <d****i@m****m>
Committed by: GitHub <n****y@g****m> |
over 4 years ago | |
| 5eca3f51 | Update README.md and add code of conduct. (#476) |
David Tarditi <d****i@m****m>
Committed by: GitHub <n****y@g****m> |
over 4 years ago | |
| 36a89b37 | Install all checked headers as part of the `checkedc-headers` target. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 4 years ago | |
| 559e455b | Fix broken reference from gettimeofday to `struct timezone` when | Matt McCutchen (Correct Computation) <m****t@c****m> | over 4 years ago | |
| 19247d67 | merge Merge branch 'main.thttpd' of github.com:correctcomputation/checkedc | Matt McCutchen (Correct Computation) <m****t@c****m> | over 4 years ago | |
| 10e1e026 | merge Merge branch 'main.vsftpd' of github.com:correctcomputation/checkedc | Matt McCutchen (Correct Computation) <m****t@c****m> | over 4 years ago | |
| c14288d4 | More dirent functions | John Kastner <j****n@c****m> | almost 5 years ago | |
| 31f7fb52 | Add resource.h | John Kastner <j****n@c****m> | almost 5 years ago | |
| 3108a2c7 | More checked headers | John Kastner <j****n@c****m> | almost 5 years ago | |
| a4aa7300 | Add checked header for dirent | John Kastner <j****n@c****m> | almost 5 years ago | |
| d47eaf7f | A 45-minute presentation on Checked C. (#476) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| 9baf1b72 | Get lvalue observed bounds: update test (#474) |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| 59526569 | Test cases for bundled block support. (#471) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| 6f6618a2 | Update expected notes for assignments to pointer dereferences (#472) |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| a657beb7 | Clarification updates to the Checked C specification. (#469) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| fcfe4fe5 | Fix a test that invokes variadic functions in checked scope (#473) |
Mandeep Singh Grang <m****g@m****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| 91993322 | Documentation fixes for checkedc issues #451 and #437. (#468) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
almost 5 years ago | |
| 42d801d2 | Check return value bounds: update tests (#465) |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 2eb3a337 | Treat address-of array subscripts the same way as address-of dereferences: up... |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 5b51b0fc | [spec] Fixed typos and missed words in Chapter 2, 5, and 6. (#464) |
Jie Zhou <6****6@u****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 95c4ef4f | Get variable and constant: update tests (#463) |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| a8c01775 | Added slides for the LLVM Dev Meet 2020 talk (#462) |
Mandeep Singh Grang <m****g@m****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| ad51213e | vsftpd additions | John Kastner <j****n@c****m> | about 5 years ago | |
| 6a057cd9 | crypt.h shadow.h and mman.h | John Kastner <j****n@c****m> | about 5 years ago | |
| aeac0f83 | An nt_checked array with an empty initializer list should be an error (#461) |
Mandeep Singh Grang <m****g@m****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 7c6f388a | Add missing return itype to gethostbyaddr: oops. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 49bb8c5b | Fix return type of cnd_init. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 16b7840f | Revisions to syslog_checked.h. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 79c638de | Minor changes to {netdb,pwd}_checked.h. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 98becf5e | Update code pattern for "v" and "__chk" variants of snprintf again. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 556f5a29 | Updates to inet_ntop and inet_pton. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 86b48115 | strftime: Follow the snprintf code pattern for the output buffer. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| e76f11d4 | Remove getwd: John says our ports don't use it. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 2a56a67f | Various updates to unistd_checked.h. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 400136dd | The `putenv` parameter type is `const char *` on Windows. | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 52dc647c | merge Merge branch 'master' of github.com:microsoft/checkedc | Matt McCutchen (Correct Computation) <m****t@c****m> | about 5 years ago | |
| 6b4a3a2b | Fixes for errors in the "array_ptr" interfaces to some libc functions declare... |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 251cf687 | [LValue Generalization] Update tests for validating member bounds (#455) |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| 69b7f2b6 | spec: Fix a typo (#457) |
Weng Shiwei <a****r@g****m>
Committed by: GitHub <n****y@g****m> |
about 5 years ago | |
| a59f02bf | It's well-known that checked headers only include elements that need | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| ecc0dc5b | Revert formatting changes to declarations that are already in | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| f39bc875 | Convert leading tabs to spaces to match existing formatting. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 4a01a3b1 | Move `open` into the checked scope for consistency with all the other | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 354ced37 | Add the new headers to the checkedc header tests. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 7d523709 | Minor consistency fixes to boilerplate for the new headers. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 2c820709 | Add conditionals to the new headers for which originals aren't available | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 8a86f3a9 | Remove __has_include_next conditionals from sys/stat{,_checked}.h. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 19a91a4c | Change the existing conditional headers to raise an #error if the | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 21b072f8 | merge Merge branch 'master' of github.com:microsoft/checkedc | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 4e6e0e48 | Collecting all test cases related to checked header files under one (#447) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 31cc7e02 | Add putenv | John Kastner <j****n@c****m> | over 5 years ago | |
| 1b22ff96 | Checked prototype for open | John Kastner <j****n@c****m> | over 5 years ago | |
| bf7b8c90 | More checked prototypes | John Kastner <j****n@c****m> | over 5 years ago | |
| c22f0233 | Version update for release. (#445) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 30414253 | Checked prototype for fileno | John Kastner <j****n@c****m> | over 5 years ago | |
| 4e16763a | Add execve and fdopen checked prototypes | John Kastner <j****n@c****m> | over 5 years ago | |
| a08e97de | Add grp.h checked header | John Kastner <j****n@c****m> | over 5 years ago | |
| da047c80 | Checked prototypes for netdb.h | John Kastner <j****n@c****m> | over 5 years ago | |
| 902b837f | Add checked prototype for crypt | John Kastner <j****n@c****m> | over 5 years ago | |
| ccbda0bf | Add checked prototype for strcasecmp and strncasecmp | John Kastner <j****n@c****m> | over 5 years ago | |
| 625aac1a | Update documentation for using function pointers (#444) |
Yudi Yang <y****6@u****u>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| e40e8b49 | Allow the memory block passed to `realloc` to be zero-size. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| dc82bf13 | Add checked declaration of `poll`. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 017e455e | Fix "v" and "__chk" variants of snprintf. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| 1143c2a3 | More inet.h | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 42f7679b | pwd | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 276b45fe | netdb | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 38cd561f | Time | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 080123f6 | merge Merge branch 'master' of github.com:correctcomputation/checkedc | mwhicks1 <m****h@c****m> | over 5 years ago | |
| a26ac5c0 | More checked headers | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 74bfcbd5 | Fix syslog checked declaration in my (Ubuntu) environment. | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| bcba7d3b | Preliminary syslog.h checked header | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 20e9af06 | Redundant | mwhicks1 <m****h@c****m> | over 5 years ago | |
| ffe344d2 | merge Merge github.com:microsoft/checkedc | mwhicks1 <m****h@c****m> | over 5 years ago | |
| 66685d3d | sys/socket_checked.h: Unchecked types should use `struct sockaddr` | Matt McCutchen (Correct Computation) <m****t@c****m> | over 5 years ago | |
| f3af449e | Implicit include of checked header files (#440) |
Sulekha Kulkarni <S****i@m****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 0426d490 | [Where Clause] Update documentation for where clauses (#438) |
Mandeep Singh Grang <m****g@m****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| ebc4a4c7 | Clang 11 upgrade: update Checked C tests (#436) |
Katherine Kjeer <6****r@u****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago | |
| 748405c8 | Assorted typo and other minor fixes to the specification. (#432) |
Matt McCutchen (Correct Computation) <m****t@c****m>
Committed by: GitHub <n****y@g****m> |
over 5 years ago |