Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / checkedc/checkedc-llvm-project issues and pull requests

#1235 - Fix additional failing test cases

Pull Request - State: closed - Opened by dtarditi about 2 months ago - 1 comment

#1234 - Fix 3C testcases

Pull Request - State: closed - Opened by souragc 5 months ago

#1233 - Fixed clang crash when calling 3C.

Pull Request - State: closed - Opened by souragc 8 months ago

#1232 - Fix issues to make 3c compile.

Pull Request - State: closed - Opened by souragc 8 months ago

#1231 - Upgrade Checked C clang sources to clang mainline 17.0

Issue - State: open - Opened by dtarditi 8 months ago - 2 comments

#1230 - Adding lsp support for 3c and adding conflict resolver for graphs used by 3c

Pull Request - State: closed - Opened by souragc 11 months ago - 2 comments

#1229 - Adding commits for 3clsp support

Pull Request - State: closed - Opened by souragc 11 months ago - 1 comment

#1226 - Fix crash when processing GCC statement expression

Pull Request - State: closed - Opened by dtarditi 12 months ago

#1225 - Extend Checked C format-string checks to unchecked scopes

Issue - State: open - Opened by dtarditi 12 months ago
Labels: enhancement

#1224 - Update README and setup/build instructions

Pull Request - State: closed - Opened by dtarditi 12 months ago

#1223 - Enable two tests that actually work on Apple ARM64 Macs.

Pull Request - State: closed - Opened by dtarditi about 1 year ago - 1 comment

#1222 - Fix white space in README.md update.

Pull Request - State: closed - Opened by dtarditi about 1 year ago

#1221 - Update README with release information.

Pull Request - State: closed - Opened by dtarditi about 1 year ago

#1219 - C++ Support

Issue - State: open - Opened by DibyaTheXPFan about 1 year ago - 1 comment

#1218 - Update documentation

Pull Request - State: closed - Opened by souragc about 1 year ago

#1217 - Update 3C documentation #1206

Pull Request - State: closed - Opened by arunkumarbhattar over 1 year ago - 1 comment

#1216 - Initial implementation of bounds decl extent analysis

Pull Request - State: open - Opened by dtarditi over 1 year ago

#1215 - Fix a failing test Checked C on MacOS

Pull Request - State: closed - Opened by dtarditi over 1 year ago

#1214 - Start distributing checkedc-clang compiler binaries again

Issue - State: closed - Opened by dtarditi over 1 year ago - 1 comment

#1213 - Get LNT testing working again

Issue - State: open - Opened by dtarditi over 1 year ago

#1209 - Check bounds declarations in where clauses

Issue - State: open - Opened by dtarditi over 1 year ago

#1207 - Epic: implement flow-sensitive bounds declarations

Issue - State: open - Opened by dtarditi over 1 year ago

#1206 - Update 3C documentation

Issue - State: closed - Opened by dtarditi over 1 year ago

#1203 - Fix 3c tests failing when check-all is run.

Pull Request - State: closed - Opened by dtarditi over 1 year ago

#1202 - check-all command fails on some 3c tests

Issue - State: closed - Opened by dtarditi over 1 year ago - 1 comment

#1201 - Fix for Issue #1200 "Assertion failure"

Pull Request - State: open - Opened by arunkumarbhattar over 1 year ago - 1 comment

#1199 - Bounds macro

Pull Request - State: closed - Opened by arunkumarbhattar over 1 year ago - 2 comments

#1198 - Checked Qualifier Support

Pull Request - State: closed - Opened by arunkumarbhattar almost 2 years ago - 1 comment

#1197 - Update 3C test that fails on Windows.

Pull Request - State: closed - Opened by dtarditi almost 2 years ago

#1196 - Fix for Issue #1195

Pull Request - State: closed - Opened by Arunkumar1998BOM about 2 years ago - 1 comment

#1195 - Rogue semi-colon causes clang to crash.

Issue - State: closed - Opened by souragc about 2 years ago - 1 comment

#1194 - Fix 3C test that fails only on Windows.

Pull Request - State: closed - Opened by dtarditi almost 3 years ago

#1192 - Update 3C conversion tool to latest changes from Correct Computation

Pull Request - State: closed - Opened by dtarditi almost 3 years ago - 7 comments

#1191 - Update README.md

Pull Request - State: closed - Opened by dtarditi almost 3 years ago

#1183 - Add documentation of Checked C's clangd.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#1181 - "stdlib.h" not found in stdlib_checked.h

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 5 comments

#1180 - Equality should not be recorded between expressions such as x and x + 1

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#1178 - Add more safety checks to variadic function calls in checked scope

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#1175 - Delete Bounds-Checking-for-LValue-Expressions doc

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#1174 - Missing checks in calls to variadic functions inside checked scope

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago
Labels: bug, future work

#1173 - Missing checks in calls to variadic functions inside checked scope

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#1172 - Bounds checking for pointer dereferences and array subscripts

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#1170 - Support variadic function calls in checked scope

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#1169 - Support for Bundled blocks.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#1168 - Implement the framework of CheckedC SMT prover

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#1165 - Type-(un)safe unions (bug, and suggestion) ?

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago

#1163 - Update bounds checking notes

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#1160 - Another crash while using checkedC

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#1155 - Bump path-parse from 1.0.6 to 1.0.7 in /llvm/utils/vscode/llvm

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: dependencies, javascript

#1154 - Should casting a char * to _Nt_array_ptr be allowed?

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago
Labels: question, needs investigation

#1152 - Assertion fail durring bounds widening

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: bug

#1075 - Replace TreeTransform typedef with using in SemaBounds.cpp

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago
Labels: work item

#1064 - Add CCI's new checked headers to the checkedc-clang tests.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#1054 - Update compile time computations in ADO benchmarking runs

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: work item

#1020 - ADO should have ability to clean src and build dirs

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: work item

#994 - Upgrade checkedc-lnt

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: work item

#859 - Unexpected illegal instruction at runtime for *p++

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments
Labels: bug, future work

#679 - [WIP] Add existential structs to Checked C

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#609 - Add SPEC benchmarks to LNT for CheckedC

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago
Labels: future work

#587 - Linux release build in Releases?

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 6 comments
Labels: needs investigation

#564 - Use Intel MPX to speed up runtime boundary checks

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: future work

#555 - Fix header replacement script for headers with "directory/file.h" type names

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago
Labels: work item

#554 - Feature Request: Preprocessor to Remove CheckedC notation

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: feature

#490 - Restrict assignments within conditional expressions

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: work item

#459 - Investigate missing warnings about out-of-bounds accesses

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: bug, priority:3

#276 - Implement bundled blocks.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments
Labels: feature

#238 - Extend Benchmark Automation Code to support performance measurements.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments
Labels: feature, needs investigation

#216 - Extend IR with where clauses.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago
Labels: feature