violet icon indicating copy to clipboard operation
violet copied to clipboard

verified publisher icon OrderLab
→

Metadata

Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration

Results 2 violet issues
Sort by recently updated
recently updated
newest added

Perform Violet on opengauss

I want to reproduce the method in violet on opengauss database. I have several questions to consult: 1. openGauss has to be deployed on OpenEuler or CentOS7.6, if s2e and...

SakuraX99 avatar SakuraX99

python version problem

1 comment

hi, guys, i've encountered some problem concerning the python version while running the ./build.sh script. first i used python2.7.15, but received this error: ![VE}$1X6Y66(TFZ1(6 W@Z2M](https://github.com/OrderLab/violet/assets/61899839/2b8e5be1-a146-4e47-a1b3-3baf0ff63ecc) then i changed my python...

neruzZ-JPG avatar neruzZ-JPG

← Metadata

16
Stars
0
Forks
Watchers

Owner

verified publisher icon OrderLab

Metadata

Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration

Back