mull

mull copied to clipboard

Mull corrupted LLVM module

11

I tried using mull against our codebase and got this error: [error] Uh oh! Mull corrupted LLVM module. 28/56: matrixmultiply, anyhow, proc-macro2, wide, num-traits(build), typenum, cxx(build.rs), link-cplusplus(build.rs) Please, report the...

JaroslavHavrda

SARIF reporter

1

We should add SARIF reporter so that we can get better GitHub integration https://docs.github.com/en/code-security/code-scanning/integrating-with-code-scanning/sarif-support-for-code-scanning

AlexDenisov

install mull failed, link error.

1

1、I hava installed clang and llvm，version is 14. clang version 14.0.0 Target: x86_64-unknown-linux-gnu Thread model: posix InstalledDir: /usr/local/llvm-14/bin 2、 cmake -DCMAKE_PREFIX_PATH="/usr/local/llvm-14/lib/cmake/llvm/ /usr/local/llvm-14/lib/cmake/clang/" -DCMAKE_CXX_FLAGS=-D_GLIBCXX_USE_CXX11_ABI=1 .. 3、make mull-runner-14。 Finially，I get a link...

xiaozhouqi

Installation failed on MacOS

5

Run mull-runner-13, and throws the following exception: Reason: tried: '/usr/local/opt/llvm/lib/libLLVM.dylib' (no such file), '/usr/local/lib/libLLVM.dylib' (no such file), '/usr/lib/libLLVM.dylib' (no such file) why is that?

BUAA-SUT

This is the first step towards cleaner boundaries across the logical parts.

AlexDenisov

Mull miscompiles functions with variadic functions if they need to be mutated. As a workaround, Mull skips mutation of such functions: https://github.com/mull-project/mull/pull/977, but it should be solved eventually. --- This...

AlexDenisov

Mull miscompiles code with jump tables (partially solved)

1

When the following code compiles: ```c int printf(const char *, ...); int main(int argc, char **argv) { static const void *jump_table[] = {&&label, &&label2}; goto *jump_table[argc - 1]; label: printf("label1\n");...

AlexDenisov

spdlog is great, but we have only used it for the fancy colors. With this move, we lose the colors and a few megabytes in the binary/package size.

AlexDenisov

Get source code of the mutated version of the original program

4

Hello. I went through "Two-step analysis process" in the tutorial and get an executable file (hello-world-mutated) of the Hello World example by running: `$ mull-cxx -mutate-only -output=hello-world-mutated hello-world` I am...

RainyTong

Currently, the homebrew packages are broken. See https://github.com/mull-project/mull/issues/954#issuecomment-1022536260.

AlexDenisov