Support for `atexit`, `on_exit` and `pthread_cleanup_*` handlers
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
Research direction
No files, tests, or entry points are named in the issue. Start by determining how support for the atexit, on_exit, and pthread_cleanup_* handlers should be represented in the analyzer; done means the intended handler behavior is supported and covered by appropriate analysis checks.
Written by the indexing model from the issue text.
Description
Those are features we currently do not support yet, but it might be interesting to do so.
- Dominant language
- OCaml
- Stars
- 252
- Forks
- 90
- Avg merge
- 4d 1m
- Merged PRs (30d)
- 19
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from goblint/analyzer
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
good first issue precision
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
usability
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
precision student-job unsound
Difficulty 5/5 Over a week Newbie friendliness 45/100
-
sv-comp unsound
Difficulty 4/5 3-5 days Newbie friendliness 42/100
All issues in goblint/analyzer
Similar issues
-
mlir
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
llvm/llvm-project#224908 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
area-CodeGen-coreclr untriaged
Difficulty 1/5 Under an hour Newbie friendliness 92/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
secondlife/sl-vscode-plugin#147 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
objectionary/phie#149 ·