Owi
symbolic interpreter based program analysis tool
Press Enter · cited answer in seconds
0 sources
Owi
Summary
Owi is a programming tool[1].
Key Facts
- Owi's instance of is recorded as programming tool[2].
- Owi's instance of is recorded as free and open-source software[3].
- Owi's instance of is recorded as interpreter[4].
- Owi's instance of is recorded as code formatter[5].
- Owi's instance of is recorded as validator[6].
- Owi's copyright license is recorded as GNU Affero General Public License, version 3.0 or later[7].
- Owi's programmed in is recorded as OCaml[8].
- Owi's operating system is recorded as cross-platform[9].
- Owi's software version identifier is recorded as 0.1[10].
- Owi's software version identifier is recorded as 0.2[11].
- Owi's has use is recorded as fuzzing[12].
- Owi's has use is recorded as software testing[13].
- Owi's has use is recorded as Q845566[14].
- Owi's platform is recorded as WebAssembly runtime[15].
- +2021-10-21T00:00:00Z marks the founding of Owi[16].
- Owi's official website is recorded as https://ocamlpro.github.io/owi/[17].
- Owi's source code repository URL is recorded as https://github.com/ocamlpro/owi[18].
- Owi's URL is recorded as https://opam.ocaml.org/packages/owi/[19].
- Owi's implementation of is recorded as symbolic execution[20].
- Owi's copyright status is recorded as copyrighted[21].
- Owi's Repology project name is recorded as owi[22].
- Owi's nixpkgs ID is recorded as owi[23].