# gcc-plugin.mpxk

**Repository Path**: xin3316/gcc-plugin.mpxk

## Basic Information

- **Project Name**: gcc-plugin.mpxk
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: GPL-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2023-10-18
- **Last Updated**: 2023-10-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# gcc-plugin.mpxk

Exploratory MPX gcc-plugin for the Linux kernel. At present this plugin relies on specific compile
flags used by the Linux kernel build system, and as such cannot be used in any general purpose kind
of way.

The plugin is currently tested only with GCC v.6.3. On Ubuntu 17.04 the `gcc-6-plugin-dev` package
is needed to compile, but you're mileage may vary.

Provided all prerequisites are available the plugin can be compiled by executing `make`.

## Stand-alone tests

The included test functionality allows running some test outside the Linux kernel build system. This
is achieved by using mockups for needed kernel functions, including the MPXK wrappers and loaders.

To compile and run MPXK tests, run:

```
make test_mpxk
```

To compile and run test with MPX, bit without MPXK, run:

```
make test_mpx
```

To run all tests, along with a minimal `objdump | grep ...` check for some unexpected instructions,
run:

```
make test
```

## Limitations

Function argument bounds are currently managed correctly only for void pointers!

## External code

The `gcc*` and `Makefile` files are based on Linux source-code, with originals found under `scripts/gcc-plugins/`.