8 lines
17 KiB
Plaintext
8 lines
17 KiB
Plaintext
{
|
|
"staticfile": "{\n\n \"REANALYZE\": false,\n\n \"WORKING_DIR\": \"C:\\\\ti\\\\Project\\\\K2APU_DCU_v019\\\\Source\\\\.staticdata\",\n\n \"COMPILER_INSTALLATION_PATH\": [],\n\n \"PRE_BUILD_COMMAND\": \"\",\n\n \"COMMAND\": [],\n\n \"STATIC_SERVER_ADDRESS\": \"gw.seoltech.com:8080\",\n\n \"PROJECT_KEY\": \"K2DCU\",\n\n \"TOOLCHAIN_FILENAME\": \"TI_C2000_6.2_TMS320F28x_Host_CCPP.sconf\",\n\n \"PARSING\": {\n\n \"C\": {\n\n \"include\": [\n\n \"C:\\\\ti\\\\ccs1281\\\\ccs\\\\tools\\\\compiler\\\\ti-cgt-c2000_22.6.1.LTS\\\\include\"\n\n ],\n\n \"conf\": [\n\n \"cs_encoding\",\n\n \"cs_define_macro_value=__has_include(STR);0\"\n\n ],\n\n \"removes\": []\n\n },\n\n \"CPP\": {\n\n \"include\": [\n\n \"C:\\\\ti\\\\ccs1281\\\\ccs\\\\tools\\\\compiler\\\\ti-cgt-c2000_22.6.1.LTS\\\\include\"\n\n ],\n\n \"conf\": [],\n\n \"removes\": []\n\n }\n\n },\n\n \"USER_DEFINED_EXTENSIONS\": {\n\n \"header\": [\n\n \".h\",\n\n \".H\",\n\n \".hpp\",\n\n \".HPP\",\n\n \".tcc\",\n\n \".inl\",\n\n \".INL\"\n\n ],\n\n \"source\": [\n\n \".c\",\n\n \".C\",\n\n \".c++\",\n\n \".C++\",\n\n \".cpp\",\n\n \".CPP\",\n\n \".cxx\",\n\n \".CXX\",\n\n \".cc\",\n\n \".CC\",\n\n \".cp\",\n\n \".CP\"\n\n ],\n\n \"object\": [\n\n \".o\",\n\n \".O\",\n\n \".lo\",\n\n \".obj\",\n\n \".OBJ\"\n\n ]\n\n },\n\n \"MULTI_PROCESSOR\": false,\n\n \"EXCLUSIONS\": [],\n\n \"EXTRA_OPTIONS\": {\n\n \"SPECIFIED_ANALYSIS_AGENT_VERSION\": \"\"\n\n }\n\n}",
|
|
"sconf": "[\n\n {\n\n \"language\": \"c\",\n\n \"compiler\": \"TI C2000 6.2\",\n\n \"linker\": \"not-used\",\n\n \"archive\": \"not-used\",\n\n \"conf\": [\n\n \"cs_builtin_declaration=\",\n\n \"cs_ignore_single_keyword=far\",\n\n \"cs_ignore_single_keyword=__far\",\n\n \"cs_ignore_single_keyword=cregister\",\n\n \"cs_ignore_single_keyword=interrupt\",\n\n \"cs_ignore_single_keyword=__interrupt\",\n\n \"cs_paren_asm=__asm\",\n\n \"cs_paren_asm=asm\",\n\n \"cs_define_macro_value=__signed_chars__;1\",\n\n \"cs_define_macro_value=__DATE__;\",\n\n \"cs_define_macro_value=__TIME__;\",\n\n \"cs_define_macro_value=__STDC__;1\",\n\n \"cs_define_macro_value=__STDC_VERSION__;199409L\",\n\n \"cs_define_macro_value=__edg_front_end__;1\",\n\n \"cs_define_macro_value=__EDG_VERSION__;404\",\n\n \"cs_define_macro_value=__EDG_SIZE_TYPE__;unsigned long\",\n\n \"cs_define_macro_value=__EDG_PTRDIFF_TYPE__;long\",\n\n \"cs_define_macro_value=__TI_COMPILER_VERSION__;6002000\",\n\n \"cs_define_macro_value=__COMPILER_VERSION__;6002000\",\n\n \"cs_define_macro_value=__TMS320C2000__;1\",\n\n \"cs_define_macro_value=_TMS320C2000;1\",\n\n \"cs_define_macro_value=__TMS320C28XX__;1\",\n\n \"cs_define_macro_value=_TMS320C28XX;1\",\n\n \"cs_define_macro_value=__TMS320C28X__;1\",\n\n \"cs_define_macro_value=_TMS320C28X;1\",\n\n \"cs_define_macro_value=__TMS320C28XX_FPU32__;1\",\n\n \"cs_define_macro_value=__LARGE_MODEL__;1\",\n\n \"cs_define_macro_value=__SIZE_T_TYPE__;unsigned long\",\n\n \"cs_define_macro_value=__PTRDIFF_T_TYPE__;long\",\n\n \"cs_define_macro_value=__WCHAR_T_TYPE__;unsigned int\",\n\n \"cs_define_macro_value=__little_endian__;1\",\n\n \"cs_define_macro_value=__TI_STRICT_ANSI_MODE__;1\",\n\n \"cs_define_macro_value=__TI_WCHAR_T_BITS__;16\",\n\n \"cs_define_macro_value=__TI_GNU_ATTRIBUTE_SUPPORT__;0\",\n\n \"cs_define_macro_value=__TI_STRICT_FP_MODE__;1\",\n\n \"cs_define_macro_value=_OPTIMIZE_FOR_SPACE;1\",\n\n \"cs_set_type_size=int;2\",\n\n \"cs_set_type_size=long;4\",\n\n \"cs_set_type_size=pointer;2\",\n\n \"cs_set_type_size=float;4\",\n\n \"cs_set_type_size=double;4\",\n\n \"cs_plain_char=signed\",\n\n \"cs_plain_bit_field=unsigned\",\n\n \"cs_for_init_scope=outer\",\n\n \"cs_using_std=disable\",\n\n \"gnu_version=40702\"\n\n ],\n\n \"include\": []\n\n },\n\n {\n\n \"language\": \"cpp\",\n\n \"compiler\": \"TI C2000 6.2\",\n\n \"linker\": \"not-used\",\n\n \"archive\": \"not-used\",\n\n \"conf\": [\n\n \"cs_builtin_declaration=\",\n\n \"cs_ignore_single_keyword=far\",\n\n \"cs_ignore_single_keyword=__far\",\n\n \"cs_ignore_single_keyword=cregister\",\n\n \"cs_ignore_single_keyword=interrupt\",\n\n \"cs_ignore_single_keyword=__interrupt\",\n\n \"cs_paren_asm=__asm\",\n\n \"cs_paren_asm=asm\",\n\n \"cs_define_macro_value=__signed_chars__;1\",\n\n \"cs_define_macro_value=__DATE__;\",\n\n \"cs_define_macro_value=__TIME__;\",\n\n \"cs_define_macro_value=__STDC__;1\",\n\n \"cs_define_macro_value=__STDC_VERSION__;199409L\",\n\n \"cs_define_macro_value=__edg_front_end__;1\",\n\n \"cs_define_macro_value=__EDG_VERSION__;404\",\n\n \"cs_define_macro_value=__EDG_SIZE_TYPE__;unsigned long\",\n\n \"cs_define_macro_value=__EDG_PTRDIFF_TYPE__;long\",\n\n \"cs_define_macro_value=__TI_COMPILER_VERSION__;6002000\",\n\n \"cs_define_macro_value=__COMPILER_VERSION__;6002000\",\n\n \"cs_define_macro_value=__TMS320C2000__;1\",\n\n \"cs_define_macro_value=_TMS320C2000;1\",\n\n \"cs_define_macro_value=__TMS320C28XX__;1\",\n\n \"cs_define_macro_value=_TMS320C28XX;1\",\n\n \"cs_define_macro_value=__TMS320C28X__;1\",\n\n \"cs_define_macro_value=_TMS320C28X;1\",\n\n \"cs_define_macro_value=__TMS320C28XX_FPU32__;1\",\n\n \"cs_define_macro_value=__LARGE_MODEL__;1\",\n\n \"cs_define_macro_value=__SIZE_T_TYPE__;unsigned long\",\n\n \"cs_define_macro_value=__PTRDIFF_T_TYPE__;long\",\n\n \"cs_define_macro_value=__WCHAR_T_TYPE__;unsigned int\",\n\n \"cs_define_macro_value=__little_endian__;1\",\n\n \"cs_define_macro_value=__TI_STRICT_ANSI_MODE__;1\",\n\n \"cs_define_macro_value=__TI_WCHAR_T_BITS__;16\",\n\n \"cs_define_macro_value=__TI_GNU_ATTRIBUTE_SUPPORT__;0\",\n\n \"cs_define_macro_value=__TI_STRICT_FP_MODE__;1\",\n\n \"cs_define_macro_value=_OPTIMIZE_FOR_SPACE;1\",\n\n \"cs_set_type_size=int;2\",\n\n \"cs_set_type_size=long;4\",\n\n \"cs_set_type_size=pointer;2\",\n\n \"cs_set_type_size=float;4\",\n\n \"cs_set_type_size=double;4\",\n\n \"cs_plain_char=signed\",\n\n \"cs_plain_bit_field=unsigned\",\n\n \"cs_for_init_scope=outer\",\n\n \"cs_using_std=disable\",\n\n \"gnu_version=40702\"\n\n ],\n\n \"include\": []\n\n }\n\n]",
|
|
"ci_ini": ";\n\n;\n\n; PA 의 설정입니다.\n\n;\n\n;-------------------------------------------------------------------------\n\n[PA]\n\n; 최초 PA 실행시에 테이블의 레코드를 모두 제거한 후 PA 가 수행됩니다.\n\n; default 값은 N 입니다.\n\nCLEAN_MODE=N\n\n;UTF-8로 인코딩된 파일도 인스펙션이 가능하도록 설정하는 옵션입니다.\n\n; default 값은 N 입니다.\n\nAUTO_ENCODING_UTF8=N\n\n\n\n; 프로젝트 DB 에 대한 초기화 쿼리\n\nINIT_QUERY=PRAGMA mmap_size=2147418112;\n\n\n\n; 람다 코드를 CFG에 포함할지 여부입니다. \n\n; 초기 값은 'N' 입니다.\n\nDISABLE_LAMBDA_CFG=N\n\n\n\n\n\n; 멀티 쓰레드 환경에서 refined 디렉토리를 유일하게 생성\n\n; 초기 값은 'Y' 입니다.\n\nMAKE_UNIQUE_REFINED_DIR=Y\n\n;\n\n;-------------------------------------------------------------------------\n\n;Violation 테이블에 violation 삽입 전에 인덱싱을 삭제하고 삽입 후에 다시 인덱싱 할지를 결정합니다.\n\n;default 값은 Y 입니다.\n\n[CI]\n\nREINDEX_MODE=Y\n\n\n\n;\n\n;\n\n; DFA 의 설정입니다.\n\n;\n\n;-------------------------------------------------------------------------\n\n[DFA]\n\nDFA_ENABLE=Y\n\nSCFG_OUT=N\n\nLIMIT_ITER=N\n\nRESULT_OUT=N\n\nITER_OUT=N\n\nTRANSFER_OUT=N\n\nFYCYC_ITER=40\n\n;\n\n;\n\n; Abstract Interpreter 설정\n\n;-------------------------------------------------------------------------\n\n[ABSINT]\n\n; ENABLE WHEN CI\n\nABSINT_ENABLE=Y\n\n; MUST | MAY\n\nABSINT_STRATEGY=MUST\n\n\n\n\n\n;-------------------------------------------------------------------------\n\n;\n\n; ExtendedDeclarations를 db에 저장할지 결정합니다.\n\n; db에 저장된 정보는 linking time에 사용됩니다.\n\n; default 값은 Y 입니다(Y or N).\n\n; \n\n;-------------------------------------------------------------------------\n\n[ExtendedDeclaration]\n\nSAVE_TO_PROJECT_REPOSITORY=Y\n\n\n\n;-------------------------------------------------------------------------\n\n;\n\n; Report 시에 매크로 또는 시스템 매크로를 제외할 지 결정합니다.\n\n; SKIP_SYSTEM_MACRO, SKIP_ALL_MACRO, SKIP_NONE, SKIP_DEFINED_IN_FILE 이 옵션으로 가능합니다.\n\n; MACRO_SKIP_MODE=SKIP_DEFINED_IN_FILE:.*_Math\\.h\n\n; default 값은 SKIP_SYSTEM_MACRO 입니다.\n\n; \n\n;-------------------------------------------------------------------------\n\n[REPORT]\n\nMACRO_SKIP_MODE=SKIP_SYSTEM_MACRO\n\n\n\n;-------------------------------------------------------------------------\n\n; 전처리 과정과 파싱 과정이 동시에 수행되는 경우,\n\n; 전처리 파일을 생성할지 여부.\n\n; 전처리 과정을 따로 수행하는 경우 이 key와 무관하게 항상 생성함.\n\n; default 값은 Y이고, 특별한 경우(용량 문제 등)가 아닌 이상 항상 생성함.\n\n; 이 key가 없는 경우에도 Y로 동작함.\n\nGEN_PP_OUTPUT=Y\n\n\n\n;-------------------------------------------------------------------------\n\n;\n\n; 아래는 FunctionUnit 들에 대해 옵션들입니다.\n\n; 특별한 경우가 아니라면 아래의 옵션들은 전문가의 손길이 필요합니다^^.\n\n; \n\n; \n\n;-------------------------------------------------------------------------\n\n[FunctionMapBuilder]\n\nSYMBOL_MAPPER=default\n\n;SYMBOL_MAPPER=physical\n\n; default \n\n; physical (헤더 파일내 static 함수를 물리적 파일 관점에서 보고, Translation Unit 이 달라도 동일한 것으로 처리)\n\n\n\n\n\n;-------------------------------------------------------------------------\n\n[CFGWriter]\n\n; debugging purpose - 각 함수에 대한 GML 표현을 Working Directory 에 기록합니다. yEd 를 이용하여 볼 수 있습니다.\n\nGML_OUT=N\n\n\n\n;-------------------------------------------------------------------------\n\n[MetricGenerator]\n\n; FUNCR 을 물리적인 관점에서 추출할지 여부에 대한 설정입니다. 기본값 N\n\nPHYSICAL_FUNCR=N\n\n\n\n;-------------------------------------------------------------------------\n\n[TestValidator]\n\n; debugging purpose - 저장된 Database 레코드의 참조 무결성을 확인합니다.\n\nCHECK_ALL=N\n\nCHECK_FUNCTION_MAP=N\n\nCHECK_CFG=N\n\nCHECK_FUNCTION_INFO=N\n\nCHECK_TYPE_INFO=N\n\nCHECK_USE_DEF=N\n\nTYPE_INFO_GML_OUT=N\n\n;-------------------------------------------------------------------------\n\n[ANALYSIS]\n\n; RTE annoatation 설정입니다. 초기 값은 'Y' 입니다.\n\nANNOTATION=Y\n\n; psionic 엔진 수행 설정입니다. 초기 값은 'Y' 입니다.\n\nRUN_PSIONIC=Y\n\n; 분석기에서 type 이름을 짧게 납기는 옵션입니다.\n\nOPTIMIZE=Y\n\n; 시스템 코드를 제외한 사용자 코드만 변환하는 옵션입니다. 초기 값은 'N' 입니다.\n\nUSER_CODE_ONLY=N\n\n; CAL 전처리기를 사용해서 CAL 의 사이즈를 줄입니다.\n\nRUN_PREPROC=Y\n\n; 특정 라이브러리에 대한 Over-Approximation 을 적용합니다.\n\n; ';' 를 구분자로 여러항목을 입력할 수 있습니다.\n\nOVER_APPROXIMATION=std::vector\n\n;-------------------------------------------------------------------------\n\n[ASTFactory]\n\n; AST를 생성할 때 lambda를 unknown expression 으로 취급할지 여부\n\n; 초기 값은 'N' 입니다.\n\nENABLE_LAMBDA_AS_UNKNOWN=N\n\n\n\n;현재 IniLoader 에 버그가 있어 마지막 줄은 읽지 않습니다. 반드시 마지막줄에 공백라인을 추가해주시기 바랍니다.\n",
|
|
"psionic_ini": "; CODESCROLL STATIC(2023/04/14)\n\n\n\n; ===================================\n\n; ENGINE VERSION\n\n; ===================================\n\n; Specify one of semantic analysis engine versions(default: latest)\n\n; eg) 2.1, 2.2, 2.2.1, 2.2.2, ...\n\nPSIONIC_ENGINE_VERSION=latest\n\n\n\n; ===================================\n\n; REPORTING POLICY\n\n; ===================================\n\n; Report only defects with a confidence level of 50% or higher.\n\n;PSIONIC_MIN_SCORE=50\n\n\n\n; Rank strategy (default: 0)\n\n; - 1: new ranking strategy\n\n;PSIONIC_RANK_SYSTEM_VERSION=0\n\n\n\n; Whether to report unused function arguments (default: true)\n\nPSIONIC_REPORT_UNUSED_FORMAL_PARAMETER=N\n\n\n\n; Report only ranking n error (rank starts 1 to 5, default: 1)\n\n; *notice* Ranking 3..5 only works when PSIONIC_MIN_SCORE is 0\n\n;PSIONIC_REPORT_ILL_MALLOC_RANK=1\n\n\n\n; Report when malloc size over n (default: 65535)\n\n;PSIONIC_INVALID_MALLOC_SIZE=65535\n\n\n\n; __________________________________\n\n; LIMITATION HANDLING\n\n; Some source code features not considered in this analyzer,\n\n; how can I handle when reaching the limit.\n\n;\n\n; in Second\n\n; 60s * 60 = 1 hour(3600)\n\n; 1day(24hour) = 86400 sec\n\n; 6hour = 21600 sec\n\n; 12hour = 43200 sec\n\n;\n\n; (default: unlimited)\n\n; __________________________________\n\n;PSIONIC_TIMEOUT=86400\n\n;PSIONIC_TIMEOUT_MEMORY=21600\n\n;PSIONIC_TIMEOUT_VALUE=21600\n\n;PSIONIC_MAX_MEMORY=20480\n\n\n\n; ===================================\n\n; TUNING ANALYSIS POWER\n\n; DO NOT MODIFY BELOW WITHOUT EXPERTS\n\n; IT WAS WELL TUNED FOR VARIOUS CODES\n\n; ===================================\n\n;PSIONIC_ENABLE_ROBUST=true\n\n;PSIONIC_ANALYSIS_PROGRESS_INTERVAL=200\n\n\n\n; __________________________________\n\n; Common Scalability\n\n; __________________________________\n\n;PSIONIC_CLUSTER_MAX_SIZE=999999999\n\n;PSIONIC_CLUSTER_ONLY_HIGH_PORTION=true\n\n;PSIONIC_CLUSTER_COUNT=20\n\n;PSIONIC_ENABLE_VIRTUAL_CALL_ANALYSIS=true\n\n\n\n; __________________________________\n\n; Value Analysis Precision\n\n; >> Default(Always Widening)\n\n; __________________________________\n\n;PSIONIC_WIDENING_LIMIT=0\n\n;PSIONIC_NARROWING_LIMIT=5\n\n;PSIONIC_VALUE_MAX_VISIT=1000\n\n;PSIONIC_CONTEXT_SENSITIVITY_BOUND=1\n\n\n\n; Collect relations only directed relation in expression (less precise)\n\n;PSIONIC_ENABLE_VAR_CLUSTER=false\n\n\n\n; The main trade-off for precision and speed\n\n; 1, interval analysis (default)\n\n; 2, pentagon analysis\n\n; 3, octagon analysis\n\n;PSIONIC_ANALYSIS_POWER=1\n\n\n\n\n\n;ENABLE_RESIZE_CHAR_ARRAY=true\n\n\n\n; __________________________________\n\n; FixPoint Strategy for a Memory\n\n; Analysis (WTO, Worklist)\n\n; >> Default(Worklist)\n\n; __________________________________\n\n;PSIONIC_WITH_MEM_WTO=false\n\n\n\n; __________________________________\n\n; Memory Analysis Precision\n\n; __________________________________\n\n;PSIONIC_MEM_MAX_VISIT=10\n\n;PSIONIC_MEM_MAX_STATE=2048\n\n\n\n\n\n; __________________________________\n\n; Dataflow Analysis Precision\n\n; __________________________________\n\n;PSIONIC_DATAFLOW_MAX_VISIT=100000\n\n\n\n\n\n; __________________________________\n\n; Memory Analysis Scalability\n\n; __________________________________\n\n;PSIONIC_MEM_CALLEE_BOUND=50\n\n\n\n\n\n;PSIONIC_ENABLE_MEM_GLOBAL_VAR=false\n\n;\n\n;ENABLE_MEM_GLOBAL_POINTER_NULL=true\n\n;ENABLE_MEM_GLOBAL_ROBUSTNESS=true\n\n;\n\n;\n\n; __________________________________\n\n; Control Engine Runtime\n\n; __________________________________\n\n; Analysis specific target cluster only\n\n;PSIONIC_TARGET_CLUSTER=10\n\n;PSIONIC_EXCEPT_CLUSTER\n\n\n\n; Value Only = 3, Memory Only = 2, Enable All = 4\n\n;PSIONIC_RUN_LEVEL=4\n",
|
|
"spec": "[\n {\n NAME: Default\n COMMON_COMPILE_FLAG: -I \"C:\\ti\\c2000\\C2000Ware_4_03_00_00\\device_support\\f2833x\\common\\include\" -I \"C:\\ti\\c2000\\C2000Ware_4_03_00_00\\device_support\\f2833x\\headers\\include\"\n SOURCES:\n [\n {\n SOURCE_FILE_HANDLER: file\n SEARCH_DIR: ${THIS}\n FILENAME: Comm.c\n COMPILE_FLAG: inherit\n BUILD_DIR: ${THIS}\n }\n {\n SOURCE_FILE_HANDLER: file\n SEARCH_DIR: ${THIS}\n FILENAME: Display.c\n COMPILE_FLAG: inherit\n BUILD_DIR: ${THIS}\n }\n {\n SOURCE_FILE_HANDLER: file\n SEARCH_DIR: ${THIS}\n FILENAME: Oper.c\n COMPILE_FLAG: inherit\n BUILD_DIR: ${THIS}\n }\n {\n SOURCE_FILE_HANDLER: file\n SEARCH_DIR: ${THIS}\n FILENAME: State.c\n COMPILE_FLAG: inherit\n BUILD_DIR: ${THIS}\n }\n {\n SOURCE_FILE_HANDLER: file\n SEARCH_DIR: ${THIS}\n FILENAME: main.c\n COMPILE_FLAG: inherit\n BUILD_DIR: ${THIS}\n }\n ]\n }\n]",
|
|
"static-client": "{\n\n \"capture_setting\": {\n\n \"build_hooking\": false,\n\n \"prebuildCommandEncoding\": \"euc-kr\",\n\n \"preprocessor\": \"original\"\n\n },\n\n \"last_validation_time\": \"2026-01-13T00:04:02.857Z\",\n\n \"last_capture_time\": \"2026-04-02T08:37:05.176Z\"\n\n}"
|
|
} |