A library to parse and run Context Free Grammars.

EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode

A Parsing-as-Deduction system that parses with different parsing algorithms and some related tools for educational purposes.

Syntactic Parsing Algorithms

Task 5 for the Compilers lab where the needed deliverable is a class that takes a CFG without unit rules and epsilon closures and outputs the same CFG after eliminating Left Recursion

This project is designed to enhance the usability of Software Defect Datasets, particularly Bugswarm. It involves using Sootup to create control flow graphs for the programs compiled with Bugswarm and Sootup. Additionally, the project aims to educate users on how to effectively implement Bugswarm in their projects for various use cases.

Task 4 for the Compilers lab where the needed deliverables are two functions: one that removes epsilon rules from a CFG and another that removes unit rules from the same CFG

静态程序分析工具 主要生成方法的CFG和.java文件的AST

My work in developing a compiler for a programming language proposed by teaching staff from the Design of Programming Languages course in university of Oviedo. Year 2022-2023.

SDD written in antlr for a CFG to generate a matrix of digits in a certain format

🎲 Efficient Java implementation of the probabilistic Earley algorithm to parse Stochastic Context Free Grammars (SCFGs)

cfg-2: Another configuration format with parser and API

PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code

3.1.1-2 «Объектно-ориентированное программирование и проектирование»

A customization of the of the CYK Algorithm.

Formal Languages and Automata course project | 形式语言与自动机课程项目

Lexical Analysis and Syntax Analysis for C++

Context Free Grammar to Chomsky Normal Form generator.

Лабораторные работы по курсу "Верификация и анализ" программ

LL (1) Compiler Implementation (2017)