Docker support2

.gitignore

@@ -0,0 +1,4 @@
+oclint
+build
+.oclint
+compile_commands.json

CMakeLists.txt

@@ -0,0 +1,151 @@
+CMAKE_MINIMUM_REQUIRED(VERSION 2.13.4)
+PROJECT(OCLINT_EXTENSIONS)
+
+SET(LLVM_ROOT ${CMAKE_SOURCE_DIR}/oclint/build/llvm-install)
+
+SET(CMAKE_DISABLE_SOURCE_CHANGES ON)
+SET(CMAKE_DISABLE_IN_SOURCE_BUILD ON)
+set(CMAKE_MACOSX_RPATH ON)
+SET(CMAKE_BUILD_TYPE None)
+
+IF(CMAKE_CXX_COMPILER_ID MATCHES "Clang")
+ SET(CMAKE_CXX_FLAGS "-fcolor-diagnostics")
+ENDIF()
+SET(CMAKE_CXX_FLAGS "-std=c++14 ${CMAKE_CXX_LINKER_FLAGS} -fno-rtti -fPIC ${CMAKE_CXX_FLAGS}")
+SET(CMAKE_SHARED_LINKER_FLAGS "${CMAKE_CXX_LINKER_FLAGS} -fno-rtti")
+
+IF(OCLINT_BUILD_TYPE STREQUAL "Release")
+ SET(CMAKE_CXX_FLAGS "-O3 -DNDEBUG ${CMAKE_CXX_FLAGS}")
+ SET(CMAKE_SHARED_LINKER_FLAGS "-s ${CMAKE_SHARED_LINKER_FLAGS}")
+ELSE()
+ SET(CMAKE_CXX_FLAGS "-O0 -g ${CMAKE_CXX_FLAGS}")
+ SET(CMAKE_SHARED_LINKER_FLAGS "-g ${CMAKE_SHARED_LINKER_FLAGS}")
+ENDIF()
+
+SET(OCLINT_VERSION_RELEASE "22.02")
+
+IF(NOT EXISTS ${LLVM_ROOT}/include/llvm)
+ MESSAGE(FATAL_ERROR "LLVM_ROOT (${LLVM_ROOT}) is not a valid LLVM install. Could not find ${LLVM_ROOT}/include/llvm")
+ENDIF()
+MESSAGE("LLVM_ROOT: ${LLVM_ROOT}")
+IF(EXISTS ${LLVM_ROOT}/lib/cmake/llvm)
+ SET(LLVM_DIR ${LLVM_ROOT}/lib/cmake/llvm)
+ELSE()
+ SET(LLVM_DIR ${LLVM_ROOT}/share/llvm/cmake)
+ENDIF()
+SET(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} "${LLVM_DIR}")
+INCLUDE(LLVMConfig)
+
+INCLUDE_DIRECTORIES( ${LLVM_INCLUDE_DIRS} )
+LINK_DIRECTORIES( ${LLVM_LIBRARY_DIRS} )
+ADD_DEFINITIONS( ${LLVM_DEFINITIONS} )
+
+STRING(REGEX MATCH "[0-9]+\\.[0-9]+(\\.[0-9]+)?" LLVM_VERSION_RELEASE ${LLVM_PACKAGE_VERSION})
+
+MESSAGE(STATUS "Found LLVM LLVM_PACKAGE_VERSION: ${LLVM_PACKAGE_VERSION} - LLVM_VERSION_RELEASE: ${LLVM_VERSION_RELEASE}")
+MESSAGE(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
+LLVM_MAP_COMPONENTS_TO_LIBNAMES(REQ_LLVM_LIBRARIES asmparser bitreader instrumentation mcparser option support frontendopenmp)
+
+SET(CLANG_LIBRARIES
+ clangToolingCore
+ clangTooling
+ clangFrontend
+ clangDriver
+ clangSerialization
+ clangParse
+ clangSema
+ clangAnalysis
+ clangEdit
+ clangASTMatchers
+ clangAST
+ clangLex
+ clangBasic)
+
+IF(TEST_BUILD)
+ ENABLE_TESTING()
+ IF(NOT APPLE)
+ ADD_DEFINITIONS(
+ --coverage
+ )
+ ENDIF()
+
+ INCLUDE_DIRECTORIES(
+ ${GOOGLETEST_SRC}/googlemock/include
+ ${GOOGLETEST_SRC}/googletest/include
+ )
+ LINK_DIRECTORIES(
+ ${GOOGLETEST_BUILD}
+ ${GOOGLETEST_BUILD}/lib
+ )
+ SET(GTEST_LIBS gmock gtest)
+
+ # Find CUDA
+ FIND_PROGRAM(NVIDIA_NVCC_BIN "nvcc")
+ IF (NVIDIA_NVCC_BIN)
+ MESSAGE(STATUS "Enable tests for CUDA rules.")
+ SET(TEST_CUDA TRUE)
+ ELSE()
+ SET(TEST_CUDA FALSE)
+ ENDIF()
+
+ # Setup the path for profile_rt library
+ STRING(TOLOWER ${CMAKE_SYSTEM_NAME} COMPILER_RT_SYSTEM_NAME)
+ LINK_DIRECTORIES(${LLVM_LIBRARY_DIRS}/clang/${LLVM_VERSION_RELEASE}/lib/${COMPILER_RT_SYSTEM_NAME})
+ IF(APPLE)
+ SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fprofile-arcs -ftest-coverage")
+ ELSEIF(${CMAKE_SYSTEM_PROCESSOR} MATCHES "aarch64")
+ SET(PROFILE_RT_LIBS clang_rt.profile-aarch64 --coverage)
+ ELSE()
+ SET(PROFILE_RT_LIBS clang_rt.profile-x86_64 --coverage)
+ ENDIF()
+ENDIF()
+
+IF(DOC_GEN_BUILD)
+ SET(CMAKE_CXX_FLAGS "-DDOCGEN ${CMAKE_CXX_FLAGS}")
+ENDIF()
+
+
+
+
+INCLUDE_DIRECTORIES(
+ ${CMAKE_SOURCE_DIR}/oclint/oclint-core/include
+ ${CMAKE_SOURCE_DIR}/oclint/oclint-metrics/include
+ ${CMAKE_SOURCE_DIR}/oclint/oclint-rules/include
+ ${CMAKE_SOURCE_DIR}/oclint/oclint-rules
+ )
+LINK_DIRECTORIES(
+ ${CMAKE_SOURCE_DIR}/oclint/build/oclint-core/lib
+ ${CMAKE_SOURCE_DIR}/oclint/build/oclint-metrics/lib
+ ${CMAKE_SOURCE_DIR}/oclint/build/oclint-rules/lib/helper
+ ${CMAKE_SOURCE_DIR}/oclint/build/oclint-rules/lib/util
+ ${CMAKE_SOURCE_DIR}/oclint/build/oclint-rules/lib
+ )
+
+MACRO(build_dynamic_rule name)
+ ADD_LIBRARY(${name}Rule SHARED ${CMAKE_SOURCE_DIR}/rules/${name}Rule.cpp)
+
+ #SET_TARGET_PROPERTIES(${name}Rule
+ # PROPERTIES LIBRARY_OUTPUT_DIRECTORY ${CMAKE_SOURCE_DIR}/build
+ # RUNTIME_OUTPUT_DIRECTORY ${CMAKE_SOURCE_DIR}/build
+ # )
+
+ TARGET_LINK_LIBRARIES(${name}Rule OCLintAbstractRule)
+
+ TARGET_LINK_LIBRARIES(${name}Rule
+ clangASTMatchers
+ )
+
+ TARGET_LINK_LIBRARIES(${name}Rule
+ OCLintMetric
+ OCLintHelper
+ OCLintUtil
+ OCLintCore
+ )
+ install(TARGETS ${name}Rule DESTINATION lib/oclint/rules)
+ENDMACRO(build_dynamic_rule)
+
+BUILD_DYNAMIC_RULE(TooLongIfSequence)
+BUILD_DYNAMIC_RULE(MallocSizeof)
+BUILD_DYNAMIC_RULE(StringCompare)
+BUILD_DYNAMIC_RULE(GlobalVariable)
+BUILD_DYNAMIC_RULE(OnlyMainFunction)

Dockerfile

@@ -0,0 +1,16 @@
+FROM ubuntu:22.04
+
+RUN apt update && apt install -y ninja-build cmake bear g++ git python3 curl xz-utils zlib1g-dev 
+WORKDIR /app
+
+COPY ./scripts/get_oclint.sh get_oclint.sh
+RUN ./get_oclint.sh
+
+COPY ./rules ./rules
+COPY ./CMakeLists.txt .
+COPY ./scripts/build_rules.sh ./scripts/build_rules.sh
+RUN ./scripts/build_rules.sh
+
+COPY . .
+
+ENTRYPOINT ["scripts/entry.sh"]

README.md

@@ -1,51 +1,15 @@
-# oclint_extensions
+# OCLint extensions
 
-## Что это?
+## Как собрать и установить?
 
-Кастомные правила для oclint. Список реализованных правил:
-* слишком много последовательных конструкций if (TooManyConsecutiveIfStatementsRule)
-
-## Установка, сборка и использование
-
-### Создание заготовок для новых правил внутри репозитория oclint
-
-Для начала склонируйте куда-нибудь [репозиторий oclint](https://github.com/oclint/oclint).
-
-Далее необходимо добавить "заготовки" для новых правил. Другими словами, необходимо создать исходники для новых правил и внести их в CMakeLists oclint'а. Новые правила относятся к группе "etu". Для этого выполните следующее:
-
-```bash
-cd oclint-scripts
-./scaffoldRule -t ASTVisitor -c etu -n"too many consecutive if statements" -p 2 TooManyConsecutiveIfStatementsRule
 ```
-
-### Копирование исходников с новыми правилами в репозиторий oclint
-
-Из репозитория oclint_extensions выполните:
-
-```bash
-cp -r ./oclint-rules YOUR_OCLINT_DIRECTORY_GOES_HERE
+./scripts/build.sh
 ```
 
-### Сборка и установка
-
-Вернитесь в репозиторий oclint. Выполните следующее:
-```bash
-cd oclint-scripts
-./make -release # этот скрипт начнет скачивание oclint-json-compilation-database размером в 514 МБ. имейте в виду
-
-cd ..
-cd build/oclint-release
-sudo cp ./bin/oclint* /usr/local/bin/
-sudo cp -rp ./lib/* /usr/local/lib/ 
-```
+Папка `examples` содержит примеры для проверки работоспособности критериев.
 
-### Использование
+Примеры запуска проверки:
 
 ```
-oclint --rule=TooManyConsecutiveIfStatements examples/ex*.c
-```
-
-## P.S.
-
-Очень странный способ установки всего этого. В теории можно сделать форк oclint'а, ноооооо сомнительно. Должен же быть какой-то более простой способ.
-Критикуйте, предлагайте.
+docker run --rm -it -v ~PATH/TO/LAB/OR/COURSEWORK:/app/solution:ro oclint_checker
+```

examples/ex-global/main.cpp

@@ -0,0 +1,24 @@
+#include <iostream>
+using namespace std;
+
+int bad_glob_var = 0;
+
+template<class T>
+struct vec3 {
+ T x, y, z;
+};
+
+int main()
+{
+ static int bad_static_var1 = 0, bad_static_var2 = 0;
+ static const int bad_static_const = 13;
+ static vec3<float> bad_vec { 0.f, 0.f, 0.f };
+
+ cin >> bad_static_var1 >> bad_static_var2 >> bad_glob_var;
+ cin >> bad_vec.x >> bad_vec.y >> bad_vec.z;
+
+ cout << bad_static_var1 * 2 << bad_static_var2 + bad_static_const << bad_glob_var / 4 << endl;
+ cout << bad_vec.x * 2 << bad_vec.y * 2 << bad_vec.z * 2 << endl;
+
+ return 0;
+}

examples/ex-goto/main.cpp

@@ -0,0 +1,14 @@
+#include <iostream>
+using namespace std;
+
+int main()
+{
+ int x;
+ cin >> x;
+
+ if (x != 2) goto failed;
+ cout << "Congrats! You typed 2!" << endl;
+
+failed:
+ return 0;
+}

examples/ex-if/main.c

@@ -0,0 +1,106 @@
+#include <stdio.h>
+
+void simple_ifs()
+{
+ int option = 0;
+ scanf("%d", &option);
+
+ if (option == 0) {
+ puts("Zero");
+ }
+ if (option == 1) {
+ puts("One");
+ }
+ if (option == 2) {
+ puts("Two");
+ }
+ if (option == 3) {
+ puts("Three");
+ }
+ if (option == 4) {
+ puts("Four");
+ }
+ if (option == 5) {
+ puts("Five");
+ }
+ if (option == 6) {
+ puts("Six");
+ }
+ if (option == 7) {
+ puts("Seven");
+ }
+ if (option == 8) {
+ puts("Eight");
+ }
+ if (option == 9) {
+ puts("Nine");
+ }
+ else {
+ puts("Something else");
+ }
+}
+
+void complex_ifs()
+{
+ int x = 0;
+ int param1 = 0;
+ float param2 = 0.0;
+ float param3 = 0.0;
+ float param4 = 0.0;
+ int opt = 0;
+ int value = -1;
+ scanf("%d %d %f %f %f %d %d", &x, &param1, &param2, &param3, &param4, &opt, &value);
+
+ if (x == 0) {
+ puts("Zero");
+ }
+ else if (param1 > 100){
+ puts("Too large");
+ }
+ else if (param2 < 0.0){
+ puts("Negative");
+ }
+ else if( param3 * param2 > 1e+5){
+ puts("Invalid");
+ }
+ else if (param4 / 2 < param1){
+ puts("Unique case");
+ }
+ else if (opt < 0 || opt > 6){
+ puts("Invalid option");
+ }
+ else if (value == -1){
+ puts("By default");
+ }
+}
+
+int gcd(int a, int b);
+int lcm(int a, int b);
+
+void almost_complex_ifs()
+{
+ int x, y;
+ scanf("%d %d", &x, &y);
+
+ // different function names
+ if (gcd(x, y) == 1) printf("GCD is 1\n");
+ else if (lcm(x, y) == 100) printf("LCM is 100\n");
+ else if (gcd(x, y) == 1337) printf("GCD is 1337\n");
+ else if (gcd(x, y) == 300) printf("GCD is 300\n");
+ if (lcm(x, y) == 512) printf("LCM is 512\n");
+ if (gcd(x, y) == 64) printf("GCD is 64\n");
+
+ // different binary operators
+ if (x > 100) printf("x is greater than 100\n");
+ else if (x < 0) printf("x is less than 0\n");
+ else if (x == 7) printf("x is 7\n");
+ else if (x == 9) printf("x is 9\n");
+ else if (x == 33) printf("x is 33\n");
+ else if (x == 6) printf("x is 6\n");
+}
+
+int main()
+{
+ simple_ifs();
+ complex_ifs();
+}