Fixing static analysis violations in Java source code using Datalog
-
Updated
Sep 20, 2022 - C++
Fixing static analysis violations in Java source code using Datalog
incremental tree transformers
Smart way to replace and transform your source code to a different source code using custom transform template
Benchmarks of loop fission algorithm.
Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation
Automatically convert Julia methods to Gen functions.
DSL for Computation Graph Substitution in Deep Learning Compilers.
A Python library for easy and fast program transformation/repair
Python bindings for Comby
Try it! https://comby.live
Rust refactoring templates for comby, the structural find-and-replace tool.
SAPFOR (System FOR Automated Parallelization)
A curated list of awesome transpilers. aka source-to-source compilers
FixMorph is a morphing tool for C source codes which supports automated code-transfer
This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
CropML Python library
TSAR (Traits Static AnalyzeR)
Tools for transparent data transformation
Add a description, image, and links to the program-transformation topic page so that developers can more easily learn about it.
To associate your repository with the program-transformation topic, visit your repo's landing page and select "manage topics."