Haskell Auditing Tool

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Vassena, M.
dc.contributor.author	Blok, Timo
dc.date.accessioned	2024-08-07T23:02:00Z
dc.date.available	2024-08-07T23:02:00Z
dc.date.issued	2024
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/47118
dc.description.abstract	We present HATS, an auditing tool Haskell developers can use to inspect, query, and detect changes in functional dependencies, including transitive dependencies. We present this tool for Haskell, implemented in Haskell. Using a Core plugin, it analyses the program's call graph to find dependencies between functions. We demonstrate, using an example, how HATS can help detect attacks such as supply chain attacks.
dc.description.sponsorship	Utrecht University
dc.language.iso	EN
dc.subject	The Haskell auditing tool allows any haskell developer to audit their code and its transitive functional dependencies, making it easier too find suspicious activity.
dc.title	Haskell Auditing Tool
dc.type.content	Master Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	Haskell; Call Graph; Core Plugin; Language Based Security
dc.subject.courseuu	Computing Science
dc.thesis.id	36212