Skip to content

An implementation for NetQRE language and a framework to synthesize it by labelled network traces.

License

Notifications You must be signed in to change notification settings

SleepyToDeath/NetQRE

Repository files navigation

What is this?

  • NetQRE is a high level networking domain specific programing language for quantitative analysis through regular expressions.
  • compiler-native contains the original implementation of NetQRE.
  • data-transducer contains a basic implementation of Data Transducer, a generalized model of NFA which supports quantitative computations.
  • netqre2dt contains a complier from NetQRE to data-transducer, which is expected to be faster than native implementation.
  • synthesizer contains a code generator of NetQRE from labelled examples.

For usage instruction, see synthesizer/README.md.

About

An implementation for NetQRE language and a framework to synthesize it by labelled network traces.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published