Essays about: "Datalog"

Found 3 essays containing the word Datalog.

1. 1. Decompilation of WebAssembly using Datalog

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Love Brandefelt; [2022]
   Keywords : Datalog; Decompiler; WebAssembly; Logic programming; Bytecode; Datalog; Dekompilator; WebAssembly; Logic programming; Bytecode;

   Abstract : With 92% of today’s browsers supporting WebAssembly the need for decompilers to discover malicious code is greater than ever. The introduction of the Datalog to C++ compiler Soufflé, in 2016, enables the implementation of effective Datalog-based decompilers. READ MORE

3. 2. Filtering False Positive Alarms in JavaDL and Language Experience Report

   University essay from Lunds universitet/Institutionen för datavetenskap

   Author : Karl-Oskar Rikås; Frank Weslien; [2021]
   Keywords : static program analysis; alarm filtering; feature engineering; Technology and Engineering;

   Abstract : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. READ MORE

4. 3. Modelling Rust’s Reference Ownership Analysis Declaratively in Datalog

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Amanda Stjerna; [2020]
   Keywords : ;

   Abstract : Rust is a modern systems programming language that offers improved memory safety over traditional languages like C or C++ as well as automatic memory management without introducing garbage collection. In particular, it guarantees that well-typed programs are free from data-races caused by memory-aliasing, use-after-frees, and accesses to deinitialised or uninitialised memory. READ MORE