McSinyx/loftix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Guix channel for and by UNIST Lab of Software
62 commits 2 branches 0 tags 298 KiB
Scheme 100%
Find a file
Nguyễn Gia Phong d4f707524d
Declare channel name
2025-03-13 15:43:57 +09:00
bugs Add ASan'ed libming 0.4.7 for CVE-2016-9264 2025-03-05 15:09:35 +09:00
LICENSES Add ASan'ed libming 0.4.8 for CVE-2018-{8806,8964} 2025-03-05 14:08:06 +09:00
loftix Add ASan'ed libming 0.4.7 for CVE-2016-9264 2025-03-05 15:09:35 +09:00
patches Add ASan'ed libming 0.4.8 for CVE-2018-{8806,8964} 2025-03-05 14:08:06 +09:00
.guix-authorizations Fix authorization file format 2024-12-05 00:34:22 +09:00
.guix-channel Declare channel name 2025-03-13 15:43:57 +09:00
README.md Remove (broken) AFLRun 2025-03-04 12:58:39 +09:00
REUSE.toml Group REUSE annotations together 2025-03-11 17:03:15 +09:00

README.md

Loftix

Loftix is a Guix channel containing packages used and made by UNIST Lab of Software.

Installation

Add the Guix channel to ~/.config/guix/channels.scm:

(cons* (channel
        (name 'loftix)
        (url "https://trong.loang.net/~cnx/loftix")
        (branch "main")
        (introduction
         (make-channel-introduction
          "1b5437ce217590545f7a7319a5c62b6300aee6c4"
          (openpgp-fingerprint
           "838A FE0D 55DC 074E 360F  943A 84B6 9CE6 F3F6 B767"))))
       %default-channels)

Then run guix pull.

Packages

Fuzzing

Patching

  • e9patch: static binary rewriting tool

Synthesis

  • python-pacfix: PAC-learning-based program synthesizer
  • taosc: Makeshift binary patch generator