Ceagle

Overview

Welcome to Ceagle C program verifier.


News

  • 2016-12-15, Ceagle 1.3 released!
    • Supports C program properties of reachability, memsafety & overflow
    • Supports verification of large C programs (larger than 10K LOC)
    • Participates SV-COMP 2017 all categories
  • 2016-4-12, Ceagle Online is in Alpha!
    • Supports file uploading and basic verification
    • Uses Ceagle 1.0 as its back-end
  • 2016-1-16, Ceagle 1.0 won a Silver Medal in Floats category!
    • Scored 136/140
    • Ranked 2/13
    • See detailed results in SV-COMP 2016 results page
  • 2015-10-31, Ceagle 1.0 released!
    • Supports C programs verification
    • Enhanced for floating point verification
    • Participates SV-COMP 2016 Floats category

Online


Documentation


Downloads

  • Ceagle version 1.3 (SV-COMP 2017), 2016-12-15

Publications

  1. Coming soon

Team

  • Fei He, Associate Professor
  • Dexi Wang, PhD Candidate
  • Chao Zhang, PhD Candidate
  • Guang Chen, PhD Candidate
  • Cong Wang, PhD Candidate
  • Jiaxiang Liu, PhD Candidate

Many people have contributed to Ceagle, they are listed below.

  • Lifan Su, PhD Candidate

Related Resources


Keep in Touch

For more information about Ceagle, please send e-mail to wanderseeme@gmail.com.