diff --git a/README.md b/README.md index c2a3433..b27a4af 100644 --- a/README.md +++ b/README.md @@ -83,7 +83,7 @@ url_path: incubator: work: (What C4DT did for the project) products: - type: ( Demo | Hands-on | Pilot | App ) + type: ( Demo | Hands-on | Pilot | App | OSS-participation) url: (https://...) title: (Description of this product) code: (https:// of the code) diff --git a/data.py b/data.py index 9a77625..de94187 100644 --- a/data.py +++ b/data.py @@ -143,7 +143,7 @@ "work": sy.Str(), sy.Optional("products"): sy.Seq( sy.Map({ - "type": sy.Enum(["Demo", "Hands-on", "Pilot", "App"]), + "type": sy.Enum(["Demo", "Hands-on", "Pilot", "App", "OSS-participation"]), "url": sy.Url(), "title": sy.Str(), sy.Optional("code"): sy.Str(), diff --git a/data/DSLAB/projects.yaml b/data/DSLAB/projects.yaml index bdf48dc..80bfdd4 100644 --- a/data/DSLAB/projects.yaml +++ b/data/DSLAB/projects.yaml @@ -477,6 +477,14 @@ projects: - label: Published in text: NSDI 2022 url: https://www.usenix.org/conference/nsdi22/presentation/pirelli + incubator: + work: > + For this project we implemented extended Berkley Packet Filtering (eBPF) support, + so that the software verification can also be done for this type of code. + products: + - type: OSS-participation + url: https://github.com/angr/angr-platforms/pull/55 + title: Adding support for eBPF to Angr maturity: 1 date_added: 2022-07-05 date_updated: 2023-03-20