Index of /svcomp/c/Juliet_Test/Juliet_Test_Suite_v1.3_for_C_Cpp/C/testcases

Icon  Name                                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                            -   
[DIR] CWE114_Process_Control/                                                2020-11-12 18:14    -   
[DIR] CWE121_Stack_Based_Buffer_Overflow/                                    2019-11-19 11:33    -   
[DIR] CWE122_Heap_Based_Buffer_Overflow/                                     2019-11-19 11:33    -   
[DIR] CWE123_Write_What_Where_Condition/                                     2020-11-12 18:14    -   
[DIR] CWE124_Buffer_Underwrite/                                              2019-11-19 11:33    -   
[DIR] CWE126_Buffer_Overread/                                                2019-11-19 11:33    -   
[DIR] CWE127_Buffer_Underread/                                               2019-11-19 11:33    -   
[DIR] CWE134_Uncontrolled_Format_String/                                     2019-11-19 11:33    -   
[DIR] CWE15_External_Control_of_System_or_Configuration_Setting/             2020-11-12 18:14    -   
[DIR] CWE176_Improper_Handling_of_Unicode_Encoding/                          2020-11-12 18:14    -   
[DIR] CWE188_Reliance_on_Data_Memory_Layout/                                 2020-11-12 18:14    -   
[DIR] CWE190_Integer_Overflow/                                               2019-11-19 11:33    -   
[DIR] CWE191_Integer_Underflow/                                              2019-11-19 11:33    -   
[DIR] CWE194_Unexpected_Sign_Extension/                                      2019-11-19 11:33    -   
[DIR] CWE195_Signed_to_Unsigned_Conversion_Error/                            2019-11-19 11:33    -   
[DIR] CWE196_Unsigned_to_Signed_Conversion_Error/                            2020-11-12 18:14    -   
[DIR] CWE197_Numeric_Truncation_Error/                                       2019-11-19 11:33    -   
[DIR] CWE222_Truncation_of_Security_Relevant_Information/                    2020-11-12 18:14    -   
[DIR] CWE223_Omission_of_Security_Relevant_Information/                      2020-11-12 18:14    -   
[DIR] CWE226_Sensitive_Information_Uncleared_Before_Release/                 2020-11-12 18:14    -   
[DIR] CWE23_Relative_Path_Traversal/                                         2019-11-19 11:33    -   
[DIR] CWE242_Use_of_Inherently_Dangerous_Function/                           2020-11-12 18:14    -   
[DIR] CWE244_Heap_Inspection/                                                2020-11-12 18:14    -   
[DIR] CWE247_Reliance_on_DNS_Lookups_in_Security_Decision/                   2020-11-12 18:14    -   
[DIR] CWE252_Unchecked_Return_Value/                                         2020-11-12 18:14    -   
[DIR] CWE253_Incorrect_Check_of_Function_Return_Value/                       2020-11-12 18:14    -   
[DIR] CWE256_Plaintext_Storage_of_Password/                                  2020-11-12 18:14    -   
[DIR] CWE259_Hard_Coded_Password/                                            2020-11-12 18:14    -   
[DIR] CWE272_Least_Privilege_Violation/                                      2020-11-12 18:14    -   
[DIR] CWE273_Improper_Check_for_Dropped_Privileges/                          2020-11-12 18:14    -   
[DIR] CWE284_Improper_Access_Control/                                        2020-11-12 18:14    -   
[DIR] CWE319_Cleartext_Tx_Sensitive_Info/                                    2020-11-12 18:14    -   
[DIR] CWE321_Hard_Coded_Cryptographic_Key/                                   2020-11-12 18:14    -   
[DIR] CWE325_Missing_Required_Cryptographic_Step/                            2020-11-12 18:14    -   
[DIR] CWE327_Use_Broken_Crypto/                                              2020-11-12 18:14    -   
[DIR] CWE328_Reversible_One_Way_Hash/                                        2020-11-12 18:14    -   
[DIR] CWE338_Weak_PRNG/                                                      2020-11-12 18:14    -   
[DIR] CWE364_Signal_Handler_Race_Condition/                                  2020-11-12 18:14    -   
[DIR] CWE366_Race_Condition_Within_Thread/                                   2020-11-12 18:14    -   
[DIR] CWE367_TOC_TOU/                                                        2020-11-12 18:14    -   
[DIR] CWE369_Divide_by_Zero/                                                 2019-11-19 11:33    -   
[DIR] CWE36_Absolute_Path_Traversal/                                         2019-11-19 11:33    -   
[DIR] CWE377_Insecure_Temporary_File/                                        2020-11-12 18:14    -   
[DIR] CWE390_Error_Without_Action/                                           2020-11-12 18:14    -   
[DIR] CWE391_Unchecked_Error_Condition/                                      2020-11-12 18:14    -   
[DIR] CWE396_Catch_Generic_Exception/                                        2020-11-12 18:14    -   
[DIR] CWE397_Throw_Generic_Exception/                                        2020-11-12 18:14    -   
[DIR] CWE398_Poor_Code_Quality/                                              2020-11-12 18:14    -   
[DIR] CWE400_Resource_Exhaustion/                                            2019-11-19 11:33    -   
[DIR] CWE401_Memory_Leak/                                                    2019-11-19 11:33    -   
[DIR] CWE404_Improper_Resource_Shutdown/                                     2020-11-12 18:14    -   
[DIR] CWE415_Double_Free/                                                    2019-11-19 11:33    -   
[DIR] CWE416_Use_After_Free/                                                 2020-11-12 18:14    -   
[DIR] CWE426_Untrusted_Search_Path/                                          2020-11-12 18:14    -   
[DIR] CWE427_Uncontrolled_Search_Path_Element/                               2020-11-12 18:14    -   
[DIR] CWE440_Expected_Behavior_Violation/                                    2020-11-12 18:14    -   
[DIR] CWE457_Use_of_Uninitialized_Variable/                                  2019-11-19 11:33    -   
[DIR] CWE459_Incomplete_Cleanup/                                             2020-11-12 18:14    -   
[DIR] CWE464_Addition_of_Data_Structure_Sentinel/                            2020-11-12 18:14    -   
[DIR] CWE467_Use_of_sizeof_on_Pointer_Type/                                  2020-11-12 18:14    -   
[DIR] CWE468_Incorrect_Pointer_Scaling/                                      2020-11-12 18:14    -   
[DIR] CWE469_Use_of_Pointer_Subtraction_to_Determine_Size/                   2020-11-12 18:14    -   
[DIR] CWE475_Undefined_Behavior_for_Input_to_API/                            2020-11-12 18:14    -   
[DIR] CWE476_NULL_Pointer_Dereference/                                       2020-11-12 18:14    -   
[DIR] CWE478_Missing_Default_Case_in_Switch/                                 2020-11-12 18:14    -   
[DIR] CWE479_Signal_Handler_Use_of_Non_Reentrant_Function/                   2020-11-12 18:14    -   
[DIR] CWE480_Use_of_Incorrect_Operator/                                      2020-11-12 18:14    -   
[DIR] CWE481_Assigning_Instead_of_Comparing/                                 2020-11-12 18:14    -   
[DIR] CWE482_Comparing_Instead_of_Assigning/                                 2020-11-12 18:14    -   
[DIR] CWE483_Incorrect_Block_Delimitation/                                   2020-11-12 18:14    -   
[DIR] CWE484_Omitted_Break_Statement_in_Switch/                              2020-11-12 18:14    -   
[DIR] CWE500_Public_Static_Field_Not_Final/                                  2020-11-12 18:14    -   
[DIR] CWE506_Embedded_Malicious_Code/                                        2020-11-12 18:14    -   
[DIR] CWE510_Trapdoor/                                                       2020-11-12 18:14    -   
[DIR] CWE511_Logic_Time_Bomb/                                                2020-11-12 18:14    -   
[DIR] CWE526_Info_Exposure_Environment_Variables/                            2020-11-12 18:14    -   
[DIR] CWE534_Info_Exposure_Debug_Log/                                        2020-11-12 18:14    -   
[DIR] CWE535_Info_Exposure_Shell_Error/                                      2020-11-12 18:14    -   
[DIR] CWE546_Suspicious_Comment/                                             2020-11-12 18:14    -   
[DIR] CWE561_Dead_Code/                                                      2020-11-12 18:14    -   
[DIR] CWE562_Return_of_Stack_Variable_Address/                               2020-11-12 18:14    -   
[DIR] CWE563_Unused_Variable/                                                2020-11-12 18:14    -   
[DIR] CWE570_Expression_Always_False/                                        2020-11-12 18:14    -   
[DIR] CWE571_Expression_Always_True/                                         2020-11-12 18:14    -   
[DIR] CWE587_Assignment_of_Fixed_Address_to_Pointer/                         2020-11-12 18:14    -   
[DIR] CWE588_Attempt_to_Access_Child_of_Non_Structure_Pointer/               2020-11-12 18:14    -   
[DIR] CWE590_Free_Memory_Not_on_Heap/                                        2019-11-19 11:33    -   
[DIR] CWE591_Sensitive_Data_Storage_in_Improperly_Locked_Memory/             2020-11-12 18:14    -   
[DIR] CWE605_Multiple_Binds_Same_Port/                                       2020-11-12 18:14    -   
[DIR] CWE606_Unchecked_Loop_Condition/                                       2020-11-12 18:14    -   
[DIR] CWE615_Info_Exposure_by_Comment/                                       2020-11-12 18:14    -   
[DIR] CWE617_Reachable_Assertion/                                            2020-11-12 18:14    -   
[DIR] CWE620_Unverified_Password_Change/                                     2020-11-12 18:14    -   
[DIR] CWE665_Improper_Initialization/                                        2020-11-12 18:14    -   
[DIR] CWE666_Operation_on_Resource_in_Wrong_Phase_of_Lifetime/               2020-11-12 18:14    -   
[DIR] CWE667_Improper_Locking/                                               2020-11-12 18:14    -   
[DIR] CWE672_Operation_on_Resource_After_Expiration_or_Release/              2020-11-12 18:14    -   
[DIR] CWE674_Uncontrolled_Recursion/                                         2020-11-12 18:14    -   
[DIR] CWE675_Duplicate_Operations_on_Resource/                               2020-11-12 18:14    -   
[DIR] CWE676_Use_of_Potentially_Dangerous_Function/                          2020-11-12 18:14    -   
[DIR] CWE680_Integer_Overflow_to_Buffer_Overflow/                            2020-11-12 18:14    -   
[DIR] CWE681_Incorrect_Conversion_Between_Numeric_Types/                     2020-11-12 18:14    -   
[DIR] CWE685_Function_Call_With_Incorrect_Number_of_Arguments/               2020-11-12 18:14    -   
[DIR] CWE688_Function_Call_With_Incorrect_Variable_or_Reference_as_Argument/ 2020-11-12 18:14    -   
[DIR] CWE690_NULL_Deref_From_Return/                                         2019-11-19 11:33    -   
[DIR] CWE758_Undefined_Behavior/                                             2020-11-12 18:14    -   
[DIR] CWE761_Free_Pointer_Not_at_Start_of_Buffer/                            2020-11-12 18:14    -   
[DIR] CWE762_Mismatched_Memory_Management_Routines/                          2019-11-19 11:33    -   
[DIR] CWE773_Missing_Reference_to_Active_File_Descriptor_or_Handle/          2020-11-12 18:14    -   
[DIR] CWE775_Missing_Release_of_File_Descriptor_or_Handle/                   2020-11-12 18:14    -   
[DIR] CWE780_Use_of_RSA_Algorithm_Without_OAEP/                              2020-11-12 18:14    -   
[DIR] CWE785_Path_Manipulation_Function_Without_Max_Sized_Buffer/            2020-11-12 18:14    -   
[DIR] CWE789_Uncontrolled_Mem_Alloc/                                         2019-11-19 11:33    -   
[DIR] CWE78_OS_Command_Injection/                                            2019-11-19 11:33    -   
[DIR] CWE832_Unlock_of_Resource_That_is_Not_Locked/                          2020-11-12 18:14    -   
[DIR] CWE835_Infinite_Loop/                                                  2020-11-12 18:14    -   
[DIR] CWE843_Type_Confusion/                                                 2020-11-12 18:14    -   
[DIR] CWE90_LDAP_Injection/                                                  2020-11-12 18:14    -