NYCU Software Quality Lab
                                        Results
                                        5
                                        repositories owned by
                                        
                                
                                            NYCU Software Quality Lab
                                        
                                    symgdb
                            
                                213
                            
                            
                        
                        Stars
                    
                            
                                26
                            
                            
                        
                        Forks
                    Watchers
                    SymGDB - symbolic execution plugin for gdb
CRAXplusplus
                            
                                97
                            
                            
                        
                        Stars
                    
                            
                                16
                            
                            
                        
                        Forks
                    Watchers
                    The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
CRAX
                            
                                46
                            
                            
                        
                        Stars
                    
                            
                                12
                            
                            
                        
                        Forks
                    Watchers
                    CRAX: software CRash analysis for Automatic eXploit generation