Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/BESSPIN-Tool-Suite issues and pull requests

#100 - Bug: Starting debian

Pull Request - State: closed - Opened by rtadros125 over 4 years ago
Labels: Bug, FETT, Target, appLayer

#99 - Refine Fett Runner spec against initial implementation

Issue - State: closed - Opened by abakst over 4 years ago - 1 comment
Labels: FETT, Target, LANDO

#98 - Crash when running `fett.py`

Issue - State: closed - Opened by abakst over 4 years ago - 4 comments
Labels: Bug, FETT, Target, appLayer

#97 - SQLite FreeBSD build

Pull Request - State: closed - Opened by immindich over 4 years ago - 1 comment

#96 - Check build environment per review comments

Issue - State: closed - Opened by abakst over 4 years ago - 2 comments
Labels: Target, appLayer, UNIX

#95 - Implement FETT app runner for nginx

Issue - State: closed - Opened by abakst over 4 years ago - 1 comment
Labels: FETT, Target, UNIX

#94 - Implement FETT app runner for sqlite

Issue - State: closed - Opened by abakst over 4 years ago - 1 comment
Labels: FETT, Target, UNIX

#93 - Write events and scenarios for FETT tool

Issue - State: closed - Opened by abakst over 4 years ago - 2 comments
Labels: Documentation, FETT, Target, LANDO

#92 - declare to TA-1 teams the FETT-Target software stack

Issue - State: closed - Opened by kiniry over 4 years ago - 5 comments
Labels: FETT, Target

#91 - NGINX FreeBSD build

Pull Request - State: closed - Opened by immindich over 4 years ago

#90 - FETT: Logging and data collection for CHERI post-mortem analysis

Issue - State: closed - Opened by rwatson over 4 years ago - 9 comments
Labels: FETT, AWS, Target

#89 - Variable root passwords for Unix

Issue - State: closed - Opened by rtadros125 over 4 years ago - 10 comments
Labels: FETT, Target, appLayer

#88 - Re-read relevant codes from testgen to ensure everything is covered in fett.py

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer

#87 - Dev: add FreeRTOS support to fett.py

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer

#86 - Dev: Add fpga support to fett.py

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer

#85 - Initial skeleton of the target fett tool

Pull Request - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer

#84 - NGINX Debian build

Pull Request - State: closed - Opened by m-yac over 4 years ago - 1 comment

#83 - Adapt a TFTP service on our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#82 - Nginx requirements

Pull Request - State: closed - Opened by abakst over 4 years ago - 1 comment

#81 - Simple Nginx HTTPS App

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, Target, appLayer

#80 - OpenSSH Build

Pull Request - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, Target, appLayer

#79 - Target design diagrams

Pull Request - State: closed - Opened by abakst over 4 years ago - 7 comments

#78 - SQLite3 Db requirements docs

Pull Request - State: closed - Opened by dragansts over 4 years ago - 16 comments
Labels: Documentation, Target, UNIX

#77 - Sqlite debian build steps

Pull Request - State: closed - Opened by abakst over 4 years ago - 9 comments

#76 - Target architecture lando specs

Pull Request - State: closed - Opened by abakst over 4 years ago - 2 comments
Labels: FETT, Target, appLayer, LANDO

#75 - Revisit build configs for target applications once requirements are complete

Issue - State: closed - Opened by abakst over 4 years ago - 6 comments
Labels: FETT, Target, appLayer

#74 - Drafting a complete action plan for FreeRTOS

Issue - State: closed - Opened by rtadros125 over 4 years ago - 12 comments
Labels: FETT, Target, FreeRTOS, appLayer

#73 - Integrate a cloudGFE-compatible FAT filesystem into out FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 9 comments
Labels: FETT, Target, FreeRTOS, appLayer

#72 - Integrate HSM into our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#71 - Update documentation for SQLite based on required build options

Issue - State: closed - Opened by abakst over 4 years ago - 1 comment
Labels: Documentation, FETT, Target, appLayer, UNIX

#70 - SSH Server Requirements

Issue - State: closed - Opened by abakst over 4 years ago - 25 comments
Labels: Documentation, FETT, Target, appLayer, UNIX, LANDO

#69 - CWE data per TA-1 team

Issue - State: closed - Opened by kiniry over 4 years ago - 5 comments
Labels: FETT, Target, PL

#68 - CVE data for App/CVE/CWE Coverage spreadsheet

Issue - State: closed - Opened by kiniry over 4 years ago
Labels: FETT, Target, PL

#67 - Build OpenSSH on Debian

Issue - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, Linux, Target

#66 - Build OpenSSH on FreeBSD

Issue - State: closed - Opened by EthanJamesLew over 4 years ago
Labels: FETT, Target, FreeBSD

#65 - Review feasibility of exposing njs CVEs as an nginx component

Issue - State: closed - Opened by abakst over 4 years ago - 4 comments
Labels: FETT, Target, appLayer

#64 - Cherry-pick a FETT FreeRTOS fork

Issue - State: closed - Opened by rtadros125 over 4 years ago - 21 comments
Labels: FETT, Target, FreeRTOS, appLayer

#63 - Modify Debian and FreeBSD packages to make installing apps easier

Issue - State: closed - Opened by immindich over 4 years ago - 4 comments
Labels: Linux, FreeBSD, UNIX, NIX

#62 - working CI setup for fett-target

Issue - State: closed - Opened by rtadros125 over 4 years ago - 13 comments
Labels: FETT, Target, DevOps

#61 - CI runners available for FETT-Target

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, DevOps

#60 - Create a docker image for fett-target

Issue - State: closed - Opened by rtadros125 over 4 years ago - 15 comments
Labels: FETT, Target, DevOps

#59 - Create **fett-target** -- the tool

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer

#58 - Check if we can enable FTS3 in SQLite

Issue - State: closed - Opened by abakst over 4 years ago - 7 comments
Labels: FETT, Database, Linux, FreeBSD, appLayer, UNIX

#57 - Create a FETT nix environment

Issue - State: closed - Opened by rtadros125 over 4 years ago - 8 comments
Labels: FETT, Target, appLayer, NIX

#56 - Design a program that performs OTA to demonstrate the feature

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#55 - Write a simple POC for OTA on FreeRTOS

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, FreeRTOS, appLayer

#54 - Adapt the OTA port to our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#53 - Adapt the bootloader port to our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#52 - Adapt the MQTT port to our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#51 - Design a program that uses HTTP features on FreeRTOS

Issue - State: closed - Opened by rtadros125 over 4 years ago - 13 comments
Labels: FETT, Target, FreeRTOS, appLayer

#50 - Write a simple POC for HTTPS on FreeRTOS

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, FreeRTOS, appLayer

#49 - Certificates and signatures for FreeRTOS (OTA service-related)

Issue - State: closed - Opened by rtadros125 over 4 years ago - 42 comments
Labels: FETT, AWS, Target, FreeRTOS, appLayer

#48 - Adapt the HTTPS port to our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 8 comments
Labels: FETT, Target, FreeRTOS, appLayer

#47 - Choose FreeRTOS OTA version + vulnerabilities

Issue - State: closed - Opened by rtadros125 over 4 years ago - 3 comments
Labels: FETT, Target, FreeRTOS, appLayer

#46 - Choose FreeRTOS HTTPS version + vulnerabilities

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeRTOS, appLayer

#45 - Adapt the TLS port to our FreeRTOS mirror

Issue - State: closed - Opened by rtadros125 over 4 years ago - 18 comments
Labels: FETT, Target, FreeRTOS, appLayer

#44 - Choose FreeRTOS TLS version + vulnerabilities

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: Documentation, FETT, Target, FreeRTOS, appLayer

#43 - Make FreeRTOS High-level decisions

Issue - State: closed - Opened by rtadros125 over 4 years ago - 20 comments
Labels: FETT, Target, FreeRTOS, appLayer

#42 - Compare CWE coverage of nginx-njs

Issue - State: closed - Opened by abakst over 4 years ago
Labels: FETT, Target, appLayer, UNIX

#41 - Compare CWE coverage of unix apps

Issue - State: closed - Opened by abakst over 4 years ago - 10 comments
Labels: FETT, Target, appLayer, UNIX

#40 - Create tickets based on sprint#1 goals

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer

#39 - Build Nginx on FreeBSD

Issue - State: closed - Opened by abakst over 4 years ago - 8 comments
Labels: FETT, Target, FreeBSD, appLayer

#38 - PoC for SQLite

Issue - State: closed - Opened by abakst over 4 years ago - 16 comments
Labels: FETT, Target, appLayer, UNIX

#37 - Build SQLite on Debian

Issue - State: closed - Opened by abakst over 4 years ago
Labels: FETT, Linux, Target, appLayer

#36 - Nginx

Issue - State: closed - Opened by abakst over 4 years ago - 2 comments

#35 - Build SQLite on FreeBSD

Issue - State: closed - Opened by abakst over 4 years ago - 1 comment
Labels: FETT, Target, FreeBSD, appLayer

#34 - Build Nginx on Debian

Issue - State: closed - Opened by abakst over 4 years ago
Labels: FETT, Linux, appLayer

#33 - Add sqlite app to the FreeBSD image

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeBSD, appLayer, NIX

#32 - Add sqlite app to the Debian image

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Linux, Target, appLayer, NIX

#31 - Add nginx app to the FreeBSD image

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Target, FreeBSD, appLayer, NIX

#30 - Add nginx app to the Debian image

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Linux, Target, appLayer, NIX

#29 - Make the FreeBSD image ready-to-use after boot

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: Target, FreeBSD, appLayer, NIX

#28 - Make the Debian image ready-to-use after boot

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Linux, Target, appLayer, NIX

#27 - Create separate nix FETT image builds

Issue - State: closed - Opened by rtadros125 over 4 years ago - 2 comments
Labels: Target, appLayer, UNIX, NIX

#26 - Choose an old openssh version

Issue - State: closed - Opened by rtadros125 over 4 years ago - 4 comments
Labels: FETT, Target, appLayer, UNIX

#25 - Design a webpage that uses some of Nginx features

Issue - State: closed - Opened by rtadros125 over 4 years ago - 3 comments
Labels: FETT, Target, appLayer, UNIX

#24 - Write a POC for Nginx

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Target, appLayer, UNIX

#23 - Build Nginx on Debian

Issue - State: closed - Opened by rtadros125 over 4 years ago - 6 comments
Labels: FETT, Linux, Target, appLayer

#22 - Update Nginx version

Issue - State: closed - Opened by rtadros125 over 4 years ago - 10 comments
Labels: FETT, Target, appLayer, UNIX

#21 - FETT nginx module selection

Issue - State: closed - Opened by rwatson over 4 years ago - 8 comments
Labels: FETT, Target, appLayer

#20 - Install the old openssh daemon on FreeBSD

Issue - State: closed - Opened by kiniry over 4 years ago
Labels: FETT, Target, FreeBSD, appLayer, NIX

#19 - Install the old openssh daemon on Debian

Issue - State: closed - Opened by kiniry over 4 years ago
Labels: FETT, Linux, Target, appLayer, NIX

#18 - Database Requirements

Issue - State: closed - Opened by abakst over 4 years ago - 21 comments
Labels: Documentation, FETT, Target, appLayer, UNIX, LANDO

#17 - Web Server Requirements

Issue - State: closed - Opened by abakst over 4 years ago - 1 comment
Labels: Documentation, FETT, Target, appLayer, UNIX, LANDO

#16 - SQLite on FreeBSD

Issue - State: closed - Opened by abakst over 4 years ago - 3 comments
Labels: FETT, FreeBSD, appLayer

#15 - Nginx on FreeBSD

Issue - State: closed - Opened by abakst over 4 years ago - 2 comments
Labels: FETT, FreeBSD, appLayer

#14 - Matrix of TA-1 Teams x CPUs x OSs

Issue - State: closed - Opened by andrew-bivin over 4 years ago - 6 comments
Labels: FETT, Target, TA-1

#13 - Architecture for GFE P2 and Software Stack

Issue - State: closed - Opened by andrew-bivin over 4 years ago - 1 comment
Labels: Documentation, Target

#12 - Architecture for GFE P1 and Software Stack

Issue - State: closed - Opened by andrew-bivin over 4 years ago - 5 comments
Labels: Documentation, Target

#11 - TA-1 team specific security claims

Issue - State: closed - Opened by kiniry over 4 years ago - 2 comments
Labels: FETT, Target, TA-1

#10 - add project milestones

Issue - State: closed - Opened by kiniry over 4 years ago
Labels: DevOps, PL

#9 - define design of Target

Issue - State: closed - Opened by kiniry over 4 years ago - 10 comments
Labels: Documentation, Target

#8 - testing push permissions

Pull Request - State: closed - Opened by andrew-bivin over 4 years ago

#7 - generate a full dependency set for all shortlisted FETT Target applications/daemons

Issue - State: closed - Opened by kiniry over 4 years ago - 5 comments
Labels: FETT, Linux, Target, FreeBSD, appLayer

#6 - SQLite on Debian

Issue - State: closed - Opened by rtadros125 over 4 years ago
Labels: FETT, Linux, appLayer

#5 - Nginx on Debian

Issue - State: closed - Opened by rtadros125 over 4 years ago - 1 comment
Labels: FETT, Linux, appLayer

#4 - Adding an apps structure

Pull Request - State: closed - Opened by rtadros125 over 4 years ago
Labels: Documentation, FETT, appLayer

#3 - adding testgen-appDevFETT as submodule

Pull Request - State: closed - Opened by rtadros125 over 4 years ago

#2 - Choose the applications

Issue - State: closed - Opened by rtadros125 over 4 years ago - 3 comments
Labels: FETT, Target, appLayer

#1 - migrate FETT project from GitLab-ext to GitHub

Issue - State: closed - Opened by kiniry over 4 years ago - 2 comments
Labels: Target, DevOps, PL