Merge pull request #316 from c4dt/klint-oss

Adding OSS work to klint

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)

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(),

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