sturdy 다운로드 - sturdy 소스 코드 다운로드

sturdy

기타 카테고리

1.0.0

다운로드

Sturdy의 Haskell 버전은 더 이상 유지되지 않습니다. 튼튼한 프로젝트는 Scala에서 상환되었으며 https://gitlab.rlp.net/plmz/sturdy.scala에서 구입할 수 있습니다.

튼튼합니다

견고한 로고

Sturdy는 Haskell에서 사운드 정적 분석을 만드는 라이브러리입니다. 정적 분석은 실제로 프로그램을 실행하지 않고 컴퓨터 프로그램에 대한 정보를 제작하는 도구입니다. 정적 분석의 예로는 유형 체커, 버그 파인더 (예 : Java FindBugs), 보안 분석 (예 : 오염 분석) 및 컴파일러 최적화에 사용되는 분석이 있습니다.

이 프로젝트는 사운드 정적 분석에 중점을 둡니다. 분석 결과가 프로그램의 실제 런타임 동작을 반영하고 사용자가 결과에 의존 할 수있는 경우 정적 분석은 소리입니다. 예를 들어, 컴파일러 최적화에 사용되는 정적 분석이 불분명 한 경우 최적화가 프로그램의 의미를 변경하여 런타임시 예기치 않은 동작으로 이어질 수 있습니다. 이를 위해 Sturdy는 정적 분석의 건전성 증명을 단순화하기 위해 추상적 해석을 위해 추상적 인 통역사 와 사운드 및 재사용 가능한 구성 요소 의 구성 소리 증명 이론을 따릅니다.

견고한 개요

견고한 콘크리트 통역사와 추상 통역사 (정적 분석)를 일반 통역사 로 인수합니다. 이 일반 통역사는 try , catch 및 finally 예외를 위해 언어의 의미를 설명하는 원시 연산을 포함하는 인터페이스에 의해 매개 변수화됩니다. 그런 다음 콘크리트 및 추상 통역사는 이러한 인터페이스를 구현하여 일반 통역사를 인스턴스화합니다. 이러한 재구성은 정적 분석의 구현에서 다양한 관심사를 해소 할뿐만 아니라 건전성 증거를 단순화합니다. 자세한 내용은 ICFP 용지에서 찾을 수 있습니다.

Sturdy는 재사용 가능한 분석 구성 요소에서 모듈 식 분석을 모듈 식으로 구성 할 수 있습니다. 각 분석 구성 요소는 단일 분석 문제를 캡슐화하고 사용되는 분석과 독립적으로 사운드로 입증 될 수 있습니다. 또한 분석 구성 요소 이론은 모든 분석 구성 요소가 사운드 인 경우 정적 분석이 사운드임을 보장합니다. 즉, 분석 개발자는 사운드 분석 구성 요소를 재사용하는 한 건전성에 대해 걱정할 필요가 없습니다. 자세한 내용은 oopsla 용지에서 찾을 수 있습니다.