GitHub CodeQL vs Petitboot
GitHub CodeQL
codeql.github.comPetitboot
open-power.github.ioSide by side
| Figure | GitHub CodeQL | Petitboot |
|---|---|---|
| Price from | $30/mo | Free |
| Free plan | Yes | Yes |
| Free trial | — | — |
| Open source | — | — |
| Web | Yes | — |
| Windows | Yes | — |
| macOS | Yes | — |
| Linux | Yes | Yes |
| Self-hosted | Yes | Yes |
| Plans published | 5 | 1 |
| Spec score · Boot Manager Software | 8.5 (#2) | 7.4 (#18) |
| Purpose | CodeQL is a language and toolchain for code analysis that treats code as data. | Petitboot is a kexec-based bootloader implemented by userspace programs in a small Linux image. |
Plans
GitHub CodeQL
- Free for research and open sourceFree
- GitHub Code Security$30 a month
- CodeQL for open source and researchFree
- GitHub Code Security$30 a month
- GitHub Free with CodeQL code scanningPrice not published
In their own words
GitHub CodeQL
GitHub CodeQL has no write-up on Specifiction yet; its figures are above.
Petitboot
Petitboot is a free, GPL-2.0-licensed bootloader implemented by userspace programs in a small Linux image. It discovers devices and bootable images, reads configurations such as GRUB, SYSLINUX, and Yaboot, then starts systems through Linux kexec. Its primary interface is an ncurses menu for viewing boot choices and system information, changing settings, running plugins, and opening a shell. Operating-system images can be loaded over HTTP, HTTPS, NFS, SFTP, or TFTP. Basic functionality is available on platforms that support kexec, while documented platform implementations include POWER systems using OPAL firmware and ARM64 systems with efivarfs support. On supported systems, inband IPMI can report BMC information and alter boot behavior through boot-device overrides. Plugins package and run binaries and may be discovered locally or in PXE network files. The pb-discover server finds and configures devices, while user interfaces communicate through pb-protocol. The included pb-sos utility gathers diagnostic and crash information.