├── .clang-format ├── .github └── workflows │ ├── release.yml │ └── sanity.yml ├── .gitignore ├── LICENSE ├── README.md ├── filter_candidates.py ├── github-llvm.py ├── pyproject.toml ├── src └── cwhy │ ├── __init__.py │ ├── __main__.py │ ├── clangd_lsp_integration.py │ ├── cwhy.py │ ├── explain.py │ ├── functions.py │ ├── git_integration.py │ ├── prompts.py │ └── utils.py ├── test └── test_cland_integration.py ├── tests ├── Haskell │ ├── README.md │ ├── testme-fixed.hs │ └── testme.hs ├── __init__.py ├── anonymizer.py ├── apply_diff.py ├── c# │ ├── testme.cs │ └── testme.cs.out ├── c++ │ ├── blank-header.hpp │ ├── const-generator.cpp │ ├── cpp20-feature.cpp │ ├── ctre-test.cpp │ ├── include-header-typo.cpp │ ├── missing-hash.cpp │ ├── missing-ostream-operator.cpp │ ├── missing-struct-semicolon.cpp │ ├── overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp │ ├── overload-resolution-failure-transform-missing-argument.cpp │ ├── push-back-pointer.cpp │ ├── redeclared-function.cpp │ ├── redeclared-variable-deduction-order.cpp │ ├── redefined-function.cpp │ ├── reverse-iterator.cpp │ ├── sfinae-ambiguous.cpp │ ├── sfinae-trailing-return-type-conditional-noexcept.cpp │ ├── sfinae-trailing-return-type.cpp │ └── template-recursion.cpp ├── go │ ├── testme.go │ └── testme.go.out ├── kotlin │ ├── README.md │ └── testme.kt ├── php │ └── testme.php ├── python │ └── concatenate-str-to-int.py ├── ruby │ └── testme.rb ├── rust │ └── testme.rs └── swift │ ├── README.md │ └── testme.swift └── verify_bases.py /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/.clang-format -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/sanity.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/.github/workflows/sanity.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/README.md -------------------------------------------------------------------------------- /filter_candidates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/filter_candidates.py -------------------------------------------------------------------------------- /github-llvm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/github-llvm.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/pyproject.toml -------------------------------------------------------------------------------- /src/cwhy/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/cwhy/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/__main__.py -------------------------------------------------------------------------------- /src/cwhy/clangd_lsp_integration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/clangd_lsp_integration.py -------------------------------------------------------------------------------- /src/cwhy/cwhy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/cwhy.py -------------------------------------------------------------------------------- /src/cwhy/explain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/explain.py -------------------------------------------------------------------------------- /src/cwhy/functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/functions.py -------------------------------------------------------------------------------- /src/cwhy/git_integration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/git_integration.py -------------------------------------------------------------------------------- /src/cwhy/prompts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/prompts.py -------------------------------------------------------------------------------- /src/cwhy/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/src/cwhy/utils.py -------------------------------------------------------------------------------- /test/test_cland_integration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/test/test_cland_integration.py -------------------------------------------------------------------------------- /tests/Haskell/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/Haskell/README.md -------------------------------------------------------------------------------- /tests/Haskell/testme-fixed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/Haskell/testme-fixed.hs -------------------------------------------------------------------------------- /tests/Haskell/testme.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/Haskell/testme.hs -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/anonymizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/anonymizer.py -------------------------------------------------------------------------------- /tests/apply_diff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/apply_diff.py -------------------------------------------------------------------------------- /tests/c#/testme.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c#/testme.cs -------------------------------------------------------------------------------- /tests/c#/testme.cs.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c#/testme.cs.out -------------------------------------------------------------------------------- /tests/c++/blank-header.hpp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/c++/const-generator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/const-generator.cpp -------------------------------------------------------------------------------- /tests/c++/cpp20-feature.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/cpp20-feature.cpp -------------------------------------------------------------------------------- /tests/c++/ctre-test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/ctre-test.cpp -------------------------------------------------------------------------------- /tests/c++/include-header-typo.cpp: -------------------------------------------------------------------------------- 1 | #include "blank-header.hp" 2 | 3 | int main() { 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /tests/c++/missing-hash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/missing-hash.cpp -------------------------------------------------------------------------------- /tests/c++/missing-ostream-operator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/missing-ostream-operator.cpp -------------------------------------------------------------------------------- /tests/c++/missing-struct-semicolon.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/missing-struct-semicolon.cpp -------------------------------------------------------------------------------- /tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/overload-resolution-failure-bind-const-ref-to-non-const-ref.cpp -------------------------------------------------------------------------------- /tests/c++/overload-resolution-failure-transform-missing-argument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/overload-resolution-failure-transform-missing-argument.cpp -------------------------------------------------------------------------------- /tests/c++/push-back-pointer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/push-back-pointer.cpp -------------------------------------------------------------------------------- /tests/c++/redeclared-function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/redeclared-function.cpp -------------------------------------------------------------------------------- /tests/c++/redeclared-variable-deduction-order.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/redeclared-variable-deduction-order.cpp -------------------------------------------------------------------------------- /tests/c++/redefined-function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/redefined-function.cpp -------------------------------------------------------------------------------- /tests/c++/reverse-iterator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/reverse-iterator.cpp -------------------------------------------------------------------------------- /tests/c++/sfinae-ambiguous.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/sfinae-ambiguous.cpp -------------------------------------------------------------------------------- /tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/sfinae-trailing-return-type-conditional-noexcept.cpp -------------------------------------------------------------------------------- /tests/c++/sfinae-trailing-return-type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/sfinae-trailing-return-type.cpp -------------------------------------------------------------------------------- /tests/c++/template-recursion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/c++/template-recursion.cpp -------------------------------------------------------------------------------- /tests/go/testme.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/go/testme.go -------------------------------------------------------------------------------- /tests/go/testme.go.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/go/testme.go.out -------------------------------------------------------------------------------- /tests/kotlin/README.md: -------------------------------------------------------------------------------- 1 | Compile with `kotlinc testme.kt -include-runtime -d hello.jar`. 2 | -------------------------------------------------------------------------------- /tests/kotlin/testme.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/kotlin/testme.kt -------------------------------------------------------------------------------- /tests/php/testme.php: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/php/testme.php -------------------------------------------------------------------------------- /tests/python/concatenate-str-to-int.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/python/concatenate-str-to-int.py -------------------------------------------------------------------------------- /tests/ruby/testme.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/ruby/testme.rb -------------------------------------------------------------------------------- /tests/rust/testme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/rust/testme.rs -------------------------------------------------------------------------------- /tests/swift/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/swift/README.md -------------------------------------------------------------------------------- /tests/swift/testme.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/tests/swift/testme.swift -------------------------------------------------------------------------------- /verify_bases.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plasma-umass/cwhy/HEAD/verify_bases.py --------------------------------------------------------------------------------