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