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://github.com/UNIST-LOFT/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

• afl-dyninst: Dyninst integration for AFL++
• binradar: Binary patch verification tool
• fuzzolic: Concolic fuzzer

Model Checking

• civl: Concurrency Intermediate Verification Language

Synthesis

• python-pacfix: PAC-learning-based program synthesizer
• syminfer: Numerical invariant generation tool
• taosc: Makeshift binary patch generator

Theorem Proving

• fuzzy-sat: Approximate solver for concolic execution