Sökning: onr:"swepub:oai:lup.lub.lu.se:99e3fdd2-8a10-4910-9e63-e1bf0eb5fcb7" >
Clog : A Declarativ...
Clog : A Declarative Language for C Static Code Checkers
-
- Dura, Alexandru (författare)
- Lund University,Lunds universitet,Programvaruteknik,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,Software Development and Environments,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH
-
- Reichenbach, Christoph (författare)
- Lund University,Lunds universitet,Programvaruteknik,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,Software Development and Environments,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH
-
Rodriguez, Gabriel (redaktör/utgivare)
-
visa fler...
-
Sadayappan, P. (redaktör/utgivare)
-
Sukumaran-Rajam, Aravind (redaktör/utgivare)
-
visa färre...
-
(creator_code:org_t)
- 2024
- 2024
- Engelska 12 s.
-
Ingår i: CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. - 9798400705076 ; , s. 186-197
- Relaterad länk:
-
http://dx.doi.org/10... (free)
-
visa fler...
-
https://lup.lub.lu.s...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- We present Clog, a declarative language for describing static code checkers for C. Unlike other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural checkers without exposing the underlying program representation: Clog checkers consist of Datalog-style recursive rules that access the program under analysis via syntactic pattern matching and control flow edges only. We have implemented Clog on top of Clang, using a custom Datalog evaluation strategy that piggy-backs on Clang’s AST matching facilities while working around Clang’s limitations to achieve our design goal of representation independence. Our experiments demonstrate that Clog can concisely express a wide variety of checkers for different security vulnerabilities, with performance that is similar to Clang’s own analyses and highly competitive on real-world programs.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- C
- Datalog
- Static Analysis Frameworks
- Syntactic Patterns
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas