search

eBPFDevSecTools / opened

OPENED Tool to extract specific eBPF functions from large monoliths (tested on Katran, Mizar, Cilium..)
Apache License 2.0
12 stars 6 forks source link

ML-Based Equivalence Checking #44

Closed Theophilusbenson closed 1 year ago

Theophilusbenson commented 1 year ago

This feature builds on parallel attend to use OpenAI to create documentation. The goal of this feature is to build a lightweight equivalence check based on the text documentation of a function. Ideally using techniques eg TTIDF and word2vec to determine if two functions could be equivalent based on their documentation.

sdsen commented 1 year ago

A first task for this, will be to manually create a set of functions which are equivalent.

sdsen commented 1 year ago

Closing as tracked here: https://github.com/eBPFDevSecTools/ebpf-projects-annotations/issues/24