Skip to content

BinaryAnalysisPlatform/holmes

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

338 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Holmes

Build Status Documentation Coverage Status

A system for integrating multiple analyses using a logic language.

Requirements

  • Rust - Holmes is developed against Rust 1.14.0.

  • PostgreSQL - Holmes uses PostgreSQL to back its datastore. I develop and test against 9.5 on Travis. Other backing stores may become available in the future.

  • Linux/X86_64 - This is not an explicit dependency. To the best of my knowledge, all tools I am using work on OSX/Windows and I am not using any architecture specific hacks. However, I am not developing on other architectures/OSes, nor will I be testing on them until things are much more feature complete.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • Rust 90.3%
  • TeX 5.0%
  • Agda 3.3%
  • Other 1.4%