1<!--2SPDX-FileCopyrightText: 2025 Sören Tempel <soeren+git@soeren-tempel.net>34SPDX-License-Identifier: GPL-3.0-only5-->67## README89A work-in-progress software analysis framework built around the [QBE] intermediate language.1011### Motivation1213Existing analysis frameworks are predominantly built around [LLVM].14Unfortunately, LLVM is a fast moving target with constant changes and updates to its intermediate language.15Therefore, tooling built around LLVM (e.g., [KLEE]) often requires dated LLVM versions.16Obtaining these LLVM versions can be cumbersome and often hinders employment of these tools.17To overcome these issues, maintainers of analysis tooling need to constantly invest time to catch-up with LLVM releases, instead of focusing on improving their analysis framework.1819In order to reduce maintenance burden, this project attempts to investigate utilization of another intermediate language for software analysis: [QBE].20QBE is a much [smaller scale project][QBE vs LLVM] than LLVM and thereby offers a higher degree of stability.21Further, QBE is much simpler than LLVM (e.g., providing fewer operations) and thereby also eases the implementation of certain analysis techniques.22Nonetheless, there are sophisticated compiler frontends that can emit a representation in the QBE intermediate language (which can then be analyzed using quebex!).23For example, [SCC], [cproc], or the [Hare compiler][Hare].2425### Status2627Proof of concept, not much to see here yet.28Come back later!2930### Design Goals3132This project is intentionally written in a simple subset of the [Haskell] programming language.33It should be usable by anyone with a basic Haskell background (e.g., as obtained by reading [Learn You a Haskell for Great Good!][learnyouahaskell]).34Further, the project should require minimal long-term maintenance and should also support older GHC versions.35Therefore, it uses the [GHC2021] language standard and avoids usage of additional language extensions.36Further, whenever possible, dependencies on external libraries that are [not bundled by GHC][GHC libraries] must be avoided.3738### Development3940Code should be formatted using [ormolu][ormolu github].41Git hooks performing several sanity checks, including ensuring the proper code formatting, are available.42These hooks can be enabled using:4344 $ git config --local core.hooksPath .githooks4546Further, a [Guix] environment for development purposes can be obtained using:4748 $ guix shell -L .guix/modules/ -m .guix/manifest.scm4950### License5152This project uses the [REUSE Specification] to indicated used software license.5354[QBE]: https://c9x.me/compile/55[QBE vs LLVM]: https://c9x.me/compile/doc/llvm.html56[LLVM]: https://llvm.org/57[KLEE]: https://klee-se.org58[SCC]: https://www.simple-cc.org/59[cproc]: https://sr.ht/~mcf/cproc/60[Hare]: https://harelang.org/61[Haskell]: https://haskell.org/62[GHC2021]: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/control.html#extension-GHC202163[GHC libraries]: https://ghc.gitlab.haskell.org/ghc/doc/libraries/index.html64[learnyouahaskell]: https://learnyouahaskell.github.io/chapters.html65[libriscv]: https://github.com/agra-uni-bremen/libriscv66[ormolu github]: https://github.com/tweag/ormolu67[REUSE Specification]: https://reuse.software/spec-3.3/68[Guix]: https://guix.gnu.org