llnl / typeforge

Typeforge is a tool for type refactoring of C/C++ programs. It enables users to change the type of variables and determines all type-dependent changes that are necessary to ensure that the generated code is again a correct program.

Typeforge

Typeforge is a tool for type refactoring of C/C++ programs. It enables users to change the type of any variable and automatically determines all necessary additional (i.e. type-dependent) changes. It guarantees the syntactic and semantic correctness of the generated code. Generated code will always compile.

Getting Started

Typeforge uses ROSE Compiler. The following instructions assume that ROSE is installed and the rose-config tool is on your path. You might also need to install autoconf and libtool (for Ubuntu: sudo apt install autoconf libtool).

You can then follow these instructions to install Typeforge:

git clone https://github.com/LLNL/typeforge.git
cd typeforge
./build
./configure
make -j
sudo make install
typeforge --version

If you do not have administrative priviledge, add --prefix=/path/to/install/typeforge to the configure command.

Getting Involved & Contributing

Github issue tracking and pull request will be leveraged to facilitate high quality contributions. All contribution must be made under BSD-3 license.

Reporting Issues

We will provide an issue reporting template and additional guideline soon.

Making a Pull Request

Pull requests must be made toward the develop branch from a feature/issue branch (meaning that it has a meaningful feature name or GH issue number).

We will provide additional guidelines soon.

Authors

Typeforge was developed at LLNL by:

• Markus Schordan
• Tristan Vanderbruggen
• Nathan Pinnow

Publications

Typeforge is used by research projects aimed at changing how C/C++ types are used in existing applications.

A list of publication will be provided soon.

Release

Typeforge is distributed under the terms of the BSD-3 license. See NOTICE for details.

SPDX-License-Identifier: BSD-3

LLNL-CODE-799937

typeforge's Issues

How to prove rose-config tool on my path

I am learning how to use typeforge。However，I can't find where are demos. So, how should I use this tool？ I would be grateful for any help I can get

Assertion failed

typeforge/lib/Analysis.cpp

Line 988 in e91c044

assert(handle_map.find(h) == handle_map.end());

When the FloatSmith is running, Terminal reports assertion failure！

How to solve this problem？