static-code-analysis

0열

1답변

프로젝트에서 일부 특수 효과의 사용을 금지하고 싶습니다. 특히 @ sniey는 lombok의 특수 효과를 나타냅니다. 이 작업을 수행하는 한 가지 방법은 메이븐 이슈 생성 중에 실패하는 것입니다. 여기에 접근 할 수있는 기존 플러그인이 있습니까? checkstyle과 같은 정적 코드 분석기를 사용하는 것이 가능하다고 생각합니다. 그러나 나는 그것에 대한 새

-1열

1답변

Memcpy 및 const 정확도

내 코드에서 cppcheck을 사용하면 함수를 const로 만들 수 있음을 나타냅니다. Cppcheck는 정확 해 보였지만 코드에서 memcpy가 이상하다는 것을 알았습니다. 코드에서 발췌 : 내 이해에 if ((offset + size) <= _bufferSize) { char* _destPtr = (char*)_buffer + o

1열

1답변

자동으로 확인하는 방법 코드는 코딩 표준

정의 다음과 내가 작업이 프로젝트는 다음과 같은 내부 코딩 표준의 몇 가지 (예)가 : 도메인 클래스가 toString(), hashCode() 및 equals()을 정의를 도메인 클래스 모든 속성은 final 생성자 주입 대신 필드 또는 세터 주입의 사용했다 위의 규칙을 정의하고 빌드 할 때이를 적용 할 수있는 도구가 있습니까? (위의 규칙을 위반하면 빌

0열

1답변

CheckMarx XSRF 공격 문제

제가 개의 파라미터 인 Long와 studentIdString이다 section을 허용하는 방법 deleteStudent REST을 갖는 제어기를 갖는다. 상기의 코드 용 checkmarx @RequestMapping(value="/rest/deleteStudent/studentId/{studentId}/section/{section}", method =

3열

1답변

cppcheck 어떻게 인라인 일치하지 억제?

--suppress=unmatchedSuppression은 cppcheck 옵션에서 비교할 수없는 억제 유형 만 억제하지만 타의 추종을 불허하는 인라인 억제는 발견하지 못했습니다. 예상 된 동작입니까? TEST.C 4 호선은 잘못된 것입니다. 경고해야합니다 arrayIndexOutOfBounds 7 번 라인은 괜찮습니다. 내가 두 라인 인라인 cppchec

2열

3답변

foo.c에서 bar.h에서 시작된 전 처리기 매크로를 어떻게 확인할 수 있습니까?

나는 두 개의 C 언어 파일을 가지고있다 : foo.c과 bar.h (그리고 아마도 다른 많은 파일들). foo.c에서 사용되며 bar.h에 정의 된 모든 전처리 기 매크로 목록이 필요합니다. 또는 그 foo.c 및 bar.h 모두에 나타나는 모든 처리기 매크로 (그러나 하지 어떤 식별자, 단어 또는 텍스트의 조각)의 경우에도 목록, 너무 어려운 경우. 어

0열

1답변

android application 내의 웹 페이지에서 HTML5 및 javascript 라이브러리 API를 추출하십시오.

저는 연구원이며 Android 웹 기반 모바일 애플리케이션 분석 프로젝트를 진행하고 있습니다. 너무 많은 android APK 파일을 포함하는 데이터 세트를 분석하기 위해 애플리케이션 웹 페이지에 사용 된 HTML 또는 HTML5 API를 추출하고 싶습니다. 응용 프로그램에서 사용 된 URL을 추출 할 수는 있지만 런타임에 응용 프로그램 웹 콘텐트에서 어떤

0열

1답변

의사 코드 : 제약 조건 이해 ...

제약 조건 기반 정적 코드 분석에 대한 책을 읽었습니다. (이름 : 프로그램 분석의 원칙) : let f = fn x => x 7 g = fn y => y h = fn z => 3 in f g + f (g h) 그것은으로 해석됩니다 f g는 g 7 될 것입니다 이유를 이해 f g + f (g h) | | v v g 7

1열

1답변

사용자 지정 인수 유효성 검사 도우미를 사용하면 코드 분석이 중단됩니다.

사용자 지정 도우미를 사용하여 인수 유효성 검사를 단순화하려면 다음과 같이하십시오. public static void ThrowIfNull(this object value, string parameterName) { if (value == null) { throw new ArgumentNullException(parameter

0열

1답변

양방향 JPA 관계의 올바른 매핑을 지원하는 툴링

here과 같은 setter 및 adders 메소드에 의해 일관성을 유지하지 않는 여러 JPA (최대 절전 모드) 지속성 @OneToMany 및 @OneToOne 관계가 내 프로젝트에 있습니다. 이제 프로그래밍 방식으로 일관성을 유지하기 위해 이러한 관계를 리팩토링해야합니다. 이 작업으로 나를 지원하기 위해 정적 코드 분석/일반 단위 테스트 또는 다른 도구