An open API service indexing awesome lists of open source software.

https://github.com/lac-dcc/honey-potion

Writing eBPF programs with Elixir!
https://github.com/lac-dcc/honey-potion

bpf bpftool c clang compiler compiler-construction compiler-design compilers ebpf elixir elixir-lang elixir-library framework libbpf linux linux-kernel metaprogramming network-monitoring optimizer tracing

Last synced: 3 months ago
JSON representation

Writing eBPF programs with Elixir!

Awesome Lists containing this project

README

          

# đŸ¯ Honey Potion - Writing eBPF with Elixir đŸ¯

[![Hex Version](https://img.shields.io/hexpm/v/honey.svg)](https://hex.pm/packages/honey)
[![Hex Docs](https://img.shields.io/badge/hex-docs-lightgreen.svg)](https://hexdocs.pm/honey/)
[![Total Download](https://img.shields.io/hexpm/dt/honey.svg)](https://hex.pm/packages/honey)
[![License](https://img.shields.io/hexpm/l/honey.svg)](https://github.com/lac-dcc/honey-potion/blob/master/LICENSE)
[![Last Updated](https://img.shields.io/github/last-commit/lac-dcc/honey-potion.svg)](https://github.com/lac-dcc/honey-potion/commits/master)
[![join discord](https://badgen.net/badge/discord/Join%20Honey%20on%20Discord/discord?icon=discord&label&color=blue)](https://discord.gg/uqRmWkJ3eT)

## 🐝 About

**Honey Potion** is a framework that brings the power of **[eBPF](https://ebpf.io/)** to Elixir, allowing users to write Elixir code that is transformed into eBPF bytecode.

In this alpha version, Honey Potion translates Elixir code into a subset of C that leverages [libbpf](https://github.com/libbpf/libbpf). The generated C code is then compiled using `clang` to produce the eBPF bytecode, which can be loaded into the kernel.

![Honey Potion Logo](./assets/honey.png)

---

## đŸ“Ļ Dependencies

Honey Potion requires the following dependencies, listed with their Ubuntu package names (equivalents exist for other distributions):

- **Erlang & Elixir** – Required for running Honey Potion
- **libbpf** – Version 1.1 ([installation guide](https://www.youtube.com/watch?v=PhHs9u9toTg&list=PL9cmSHf85lF5HzCha020qegkKQ3GpiEBY&index=2))
- **gcc-multilib** – Required for certain C libraries (`asm/types.h`)
- **make** – For Makefile-based compilation
- **llvm** – Provides `llc`
- **clang** – Required for compilation
- **bpftool** – Used for skeleton generation

> â„šī¸ **Note:** You can manually compile `clang`, `llc`, and `bpftool`, as long as they are available in your `$PATH`.

---

## đŸŽĨ Video Guide

Prefer a video tutorial? Check out the [Honey Potion YouTube playlist](https://www.youtube.com/playlist?list=PL9cmSHf85lF5HzCha020qegkKQ3GpiEBY) with step-by-step guides.

[![YouTube Thumbnail](./assets/youtube.png)](https://www.youtube.com/playlist?list=PL9cmSHf85lF5HzCha020qegkKQ3GpiEBY)

---

## 🚀 Installation

Add `honey` to your project's dependencies in `mix.exs`:

```elixir
def deps do
[
{:honey, git: "https://github.com/lac-dcc/honey-potion/", submodules: true}
]
end
```

---

## 📝 Usage

When you `use Honey` in your module, it will be translated to C the next time you compile your project.

```elixir
defmodule Minimal do
use Honey, license: "Dual BSD/GPL"
# ...
end
```

This generates the following directories:

- **`src/`** – Stores the generated C code (e.g., `Minimal.bpf.c`)
- **`obj/`** – Stores compilation objects (e.g., `Minimal.o`)
- **`bin/`** – Stores the final executable (e.g., `Minimal`)

To run your program, navigate to the `bin/` directory and execute the binary with appropriate privileges.

### 🔧 Command-line Options

- `-p` → Prints all eBPF maps
- `-t ` → Specifies the duration the program should run

#### đŸŽ¯ The `main/1` Function

Every module using `Honey` must define a `main/1` function that serves as the entry point for the eBPF program.

```elixir
defmodule Example.Minimal do
use Honey, license: "Dual BSD/GPL"

@sec "tracepoint/syscalls/sys_enter_kill"
def main(ctx) do
# ...
end
end
```

- `@sec` specifies the **program type** according to `libbpf`.
- `ctx` is a struct whose fields vary depending on the program type.
- The `main/1` function **must** return an integer; otherwise, a runtime exception is thrown.

For detailed documentation and examples, see:

- [`Language`](docs/getting_started/language.md)
- Example programs in [`/examples`](examples):
- [`hello_world`](examples/hello_world/)
- [`maps`](examples/maps/)
- [`count_syscalls`](examples/count_syscalls/)
- [`force_kill`](examples/force_kill/)

Or watch the [YouTube tutorial](https://www.youtube.com/watch?v=Wis5e3vLcMg).

---

## âš ī¸ Runtime Exceptions

As Elixir is a dynamically typed language, we simulate runtime exceptions when translating programs to eBPF.

In this Alpha version, if an exception occurs, it will be printed to the debug pipe, and the program will exit with status `0`.

---

## 🚧 Current Limitations

Honey Potion is still in **Alpha**, and many features are still being developed. Some known limitations include:

- **Pattern Matching:** No destructuring; `=` behaves like an assignment operator.
- **Control Flow:** No `case` or `if-else` blocks (unless optimized out at compile time).
- **Operators:** Limited to `+`, `-`, `*`, `/`, and `==`.
- **Function Guards:** Not supported.
- **Default Arguments:** Not supported.
- **Recursion:** No mutual recursion support.
- **Structs:** User-defined structs are not supported.
- **Execution Requirements:** Executable must reside in `bin/`, and the object file must be in `obj/`.

We are actively working to improve Honey Potion. Stay tuned!

---

## 🤝 Contributing

Contributions are welcome! To avoid redundant work, please reach out before submitting major changes.

Feedback and suggestions are highly appreciated! You can:

- Open a [GitHub issue](https://github.com/lac-dcc/honey-potion/issues)
- Contact us at **kaelsoaresaugusto@gmail.com**

---

## 📜 License

**Honey Potion** is maintained by the **Compilers Laboratory** at the **Federal University of Minas Gerais (UFMG), Brazil**.

This program is **free software** under the terms of the **GNU General Public License (GPLv3)**.

For details, see the full license: [GNU GPL v3](https://www.gnu.org/licenses/).

---