This repo contains the source code of the implementation of the algorithms proposed in "Context Sensitivity without Context: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis", PLDI'23. The source code is extracted from the official artifact, with several modifications to make it compilabe and runnable as a standalone tool.
-
Notifications
You must be signed in to change notification settings - Fork 0
License
LGPL-3.0, GPL-3.0 licenses found
Licenses found
LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
pascal-lab/csc-artifact
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
License
LGPL-3.0, GPL-3.0 licenses found
Licenses found
LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published