All Projects → mull-project → Mull

mull-project / Mull

Licence: apache-2.0
Practical mutation testing tool for C and C++

Programming Languages

c
50402 projects - #5 most used programming language
swift
15916 projects
rust
11053 projects

Projects that are alternatives of or similar to Mull

Llvm Hs Examples
Examples for Haskell bindings to LLVM
Stars: ✭ 51 (-90.49%)
Mutual labels:  llvm, jit
adorad
Fast, Expressive, & High-Performance Programming Language for those who dare
Stars: ✭ 54 (-89.93%)
Mutual labels:  llvm, jit
Jitfromscratch
Example project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (-70.52%)
Mutual labels:  llvm, jit
Inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Stars: ✭ 732 (+36.57%)
Mutual labels:  llvm, jit
dmr c
dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
Stars: ✭ 45 (-91.6%)
Mutual labels:  llvm, jit
Leekscript V2
A dynamically typed, compiled just-in-time programming language used in Leek Wars' AIs
Stars: ✭ 46 (-91.42%)
Mutual labels:  llvm, jit
FastLua
Lua trace JIT compiler using LLVM-C
Stars: ✭ 22 (-95.9%)
Mutual labels:  llvm, jit
Llvm Tutorial Standalone
DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
Stars: ✭ 38 (-92.91%)
Mutual labels:  llvm, jit
halo
😇 Wholly Adaptive LLVM Optimizer
Stars: ✭ 22 (-95.9%)
Mutual labels:  llvm, jit
jitmap
LLVM-jitted bitmaps
Stars: ✭ 25 (-95.34%)
Mutual labels:  llvm, jit
Jfs
Constraint solver based on coverage-guided fuzzing
Stars: ✭ 215 (-59.89%)
Mutual labels:  llvm, jit
Easy Just In Time
LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.
Stars: ✭ 361 (-32.65%)
Mutual labels:  llvm, jit
Batch-First
A JIT compiled chess engine which traverses the search tree in batches in a best-first manner, allowing for neural network batching, asynchronous GPU use, and vectorized CPU computations.
Stars: ✭ 27 (-94.96%)
Mutual labels:  llvm, jit
Awesome Graal
A curated list of awesome resources for Graal, GraalVM, Truffle and related topics
Stars: ✭ 302 (-43.66%)
Mutual labels:  llvm, jit
Codegen
Experimental wrapper over LLVM for generating and compiling code at run-time.
Stars: ✭ 362 (-32.46%)
Mutual labels:  llvm, jit
Llvm
Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
Stars: ✭ 424 (-20.9%)
Mutual labels:  llvm
Dynarmic
An ARM dynamic recompiler.
Stars: ✭ 475 (-11.38%)
Mutual labels:  jit
Tagua Vm
Tagua VM is an experimental PHP Virtual Machine that guarantees safety and quality by removing large classes of vulnerabilities thanks to the Rust language and the LLVM Compiler Infrastructure.
Stars: ✭ 419 (-21.83%)
Mutual labels:  llvm
Scala Native
Your favorite language gets closer to bare metal.
Stars: ✭ 4,053 (+656.16%)
Mutual labels:  llvm
Stryker Net
Mutation testing for .NET core and .NET framework!
Stars: ✭ 491 (-8.4%)
Mutual labels:  mutation-testing

Mull

Mull is a tool for Mutation Testing based on LLVM/Clang with a strong focus on C and C++ languages.

For installation and usage please refer to the latest documentation: https://mull.readthedocs.io/en/latest/

Join us in Discord

Here is the invitation link to the Discord channel: https://discord.gg/Hphp7dW

Contributing

Here is the starting point: CONTRIBUTING.md

Citation

Mull it over: mutation testing based on LLVM (preprint)

@INPROCEEDINGS{8411727, 
author={A. Denisov and S. Pankevich}, 
booktitle={2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)}, 
title={Mull It Over: Mutation Testing Based on LLVM}, 
year={2018}, 
volume={}, 
number={}, 
pages={25-31}, 
keywords={just-in-time;program compilers;program testing;program verification;mutations;Mull;LLVM IR;mutated programs;compiled programming languages;LLVM framework;LLVM JIT;tested program;mutation testing tool;Testing;Tools;Computer languages;Instruments;Runtime;Computer crashes;Open source software;mutation testing;llvm}, 
doi={10.1109/ICSTW.2018.00024}, 
ISSN={}, 
month={April},}

Packages

Hosted By: Cloudsmith

Hosting for precompiled packages is graciously provided by Cloudsmith.

Copyright

Copyright (c) 2016-2020 Alex Denisov [email protected] and Stanislav Pankevich [email protected]. See LICENSE for details.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].