Skip to content

panta-k/TSGuard-Hint

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

52 Commits
 
 
 
 
 
 
 
 

Repository files navigation

TSGuard-Detecting-Logic-Bugs-in-Time-Series-Management-Systems-via-Time-Series-Algebra

TSGuard: Detecting Logic Bugs in Time Series Management Systems via Time Series Algebra

new method: give a HINT make it simple

**This project provides the Hint-Based Oracle module that extends TSGuard. To use this module, users must obtain TSGuard from the original author. This repository does not include or redistribute TSGuard source code.

id link date status
1 apache/iotdb/issues/16406 12 Sep 2025 verified
2 apache/iotdb/issues/16408 12 Sep 2025 duplicate
3 apache/iotdb/issues/16437 18 Sep 2025 verified
4 apache/iotdb/issues/16436 18 Sep 2025 currently not support
5 apache/iotdb/issues/16451 20 Sep 2025 waiting
6 apache/iotdb/issues/16453 22 Sep 2025 verified
7 influxdata/influx-cli/issues/567 30 Oct 2025 waiting
8 taosdata/TDengine/issues/33507 8 Nov 2025 verified

About

TSGuard: Detecting Logic Bugs in Time Series Management Systems via Time Series Algebra

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages

  • Java 97.1%
  • Rust 2.9%