static-analysis

3열

1답변

resharper 속성을 사용하여 사후 조건을 지정하는 방법이 있습니까?

우리가하는 방법 internal static void NotNull<T>(T value) where T : class { if (value == null) { throw new ArgumentNullException(); } } 이 메서드에 전달 된 값이 후에 null이 결코 없다는 것을 ReSharpe

c# attributes resharper static-analysis 2016-10-26

---

2열

1답변

느릅 나무 발견되지 않는 기능

것은 예를 들어이 같은 응용 프로그램이 우리를 보자 ? 일부 리팩토링 후 일부 기능을 호출하지 않기 때문에. 그 기능을 안전하게 제거 할 수 있다고 알리는 컴파일러 플래그 또는 링터가 있습니까?

static-analysis elm 2016-11-01

---

0열

1답변

Coverity 스캔의 코드 라인이 정확하지 않습니다.

내 프로젝트는 Coverity Scan에 따라 150k 라인이 넘는 코드를 처리하는 반면, Cloc은 30k를보고합니다 (훨씬 더 합리적입니다). 나는 LOC가 어디서 왔는지 알기 위해 노력하고 있지만 실패하고 있습니다. 실제 코드 행을보고하기 위해 커버 오티 스 스캔을 얻으려면 어떻게해야합니까? 또는 그들이 어디에서 왔는지보고하십시오.

static-analysis coverity 2016-11-01

---

1열

1답변

스캔 빌드를 사용하여 다른 대상에서 clang 정적 분석기를 실행하는 방법

다른 대상에서 clang 정적 분석기를 실행하려고합니다. 다음은 makefile snip입니다. CC = <path to clang folder>/build/bin/clang . . . src/%.o: ../src/%.c ${CC} --target=powerpc -O0 -g3 -Wall -c -fmessage-length=0 -MMD -M

clang static-analysis 2016-09-14

---

0열

3답변

어셈블리의 검색 메소드 이름

MyClass가 프로젝트의 라이브러리에있는 클래스 인 C#에서 아래와 같은 코드가있는 경우. 정적 분석을 수행하고 Method1 및 Method2 코드가 몇 번 호출되었는지 확인할 수 있습니까? , namespace.MyClass.Method1 = 4, namespace.MyClass.Method2 = 1 개 namespace.MyClass obj = ne

c# static-analysis 2016-09-18

---

0열

1답변

별칭 분석 및 _restrict 키워드 - C

별칭 분석은 __restrict 및 __noalias과 같은 키워드와 함께 작동합니까? 별칭이 없다는 것을 증명하는 것으로 간주하고 있습니까? 또는 단순히 포인터에 따라 자체 결과를 계산합니까? 로드 - binop 매장 시퀀스를하고 많은 꽉 루프에서 LLVM의 별칭 분석의 결과를 보면 는 다음과 같은 병목 현상이 관찰되었다 : 입력 및 출력 포인터는 여전히

c llvm alias static-analysis restrict 2016-09-19

---

1열

1답변

Jessie 플러그인 Frama-c와 통합 알루미늄

통합 방법 Jessie 외부 플러그인 (이유 2.36) Frama-c Aluminum?

static-analysis frama-c why3 2016-09-22

---

2열

2답변

스캔 서비스 및 "이 플랫폼은 Coverity에서 지원하지 않습니다."

OS X에서 스캔을 제출하려고합니다. procedure I am following은 32 비트 및 64 비트 Linux에서 잘 작동하며 유사한 절차가 nmake. $ CXXFLAGS="-DNDEBUG -g2 -O3" cov-build --dir cov-int make -j 2 Coverity Build Capture (64-bit) version 8.5

xcode macos static-analysis coverity 2016-09-29

---

0열

4답변

순환 복잡도가 높은 if/switch 문을 사용하여 코드를 처리하는 가장 좋은 방법은 무엇입니까?

능력 ID라는 입력을받는 메소드가 있습니다. 기능 ID를 기반으로 스위치 케이스의 형태로 제시된 비즈니스 구현을 실행합니다. 나는 내 기능이 작동하지만, 음파 탐지기 보고서가 12-14 주변에서 높은 순환주기 복잡성을 보이는 문제를 발견했습니다. 내가 일하는 회사는 최대 cyclomatic 복잡성으로 표준 10을 사용합니다. 내 고려 사항은, 만약 내가 너

java sonarqube static-analysis 2016-10-03

---

3열

1답변

잘못된 주장은 추가 작업에 대한 <code>short</code> 및 <code>char</code> 데이터 유형에 대한 오버 플로우를 확인하면서

는 FRAMA-C에 의해 삽입 된 주장은 잘못된 것 같다 FRAMA-C를 확인 : 문자의 경우 및 짧은 데이터 최대 양수 값은 정수 데이터 유형입니다. 왜 이런 이유가있을 수 있습니까?

static-analysis frama-c 2016-10-05

---