Re: Query status of GSoC project: CPyChecker

2023-06-29 Thread Steven Sun via Gcc
Hi Eric, > Thanks for reaching out. The project is still in very early stages. So > far we have taught the analyzer the basic behavior for > PyLong_FromLong, PyList_New, and Py_DECREF via known function > subclassing. Additionally, Py_INCREF is supported out of the box. > Reference count checking

Query status of GSoC project: CPyChecker

2023-06-27 Thread Steven Sun via Gcc
Hi Eric, I am Steven (now) from the CPython team. How is the project going? Do you have any prototypes or ideas that can be discussed? Which part will you start at? I recently debugged dozens of Python bugs, some involving C APIs. I can provide some test cases for you. For the ref count part:

GSoC: Porting cpychecker to a -fanalyzer plugin

2023-05-08 Thread Steven Sun via Gcc
Hi, Eric and Dave, I did not make it to the GSoC program. I am not surprised. In this email, I would like to share some thoughts on this project with Eric and pose some questions to Dave. In the past month, I have been active in the CPython community. Now I am nominated as a triage member. https

Re: GSoC: want to take part in `Extend the static analysis pass for CPython Extension`

2023-04-03 Thread Steven Sun via Gcc
I do not have specific ideas on (c). I prefer to work on (b) if possible. The PEP 701 branch is under active development now. I review others' PRs and open some PRs myself. https://github.com/pablogsal/cpython/pull/54 https://github.com/pablogsal/cpython/pull/61 https://github.com/pablogsal/cpyth