자바 + 정보 흐름 (짧은 JIF)은 컴파일시에 실행시에 모두 정보 흐름 제어 및 액세스 제어를 지원하는 확장 자바 보안 형식의 프로그래밍 언어이다.JIF 컴파일러와 런타임 시스템의 소스 코드를 다운로드 할 수 있습니다. JIF는 자바로 작성되고, 수개 국어로 확장 자바 컴파일러 프레임 워크를 사용하여 만들어집니다.정적 정보 흐름 제어는 기밀성과 컴퓨팅 시스템에 의해 조작 정보의 무결성을 보호 할 수있다. 컴파일러는 정보 보안 특성 엔드 - 투 - 엔드...

가보 개발 툴 패키지는 오픈 솔라리스의 일환으로 일 발표 한 유틸리티의 휴대용 파생 상품으로 Yacc에가, 렉스, M4, 만들어 제공하고, SCCS. 오픈 솔라리스 유틸리티는 원래 유닉스 버전에서 파생 차례 있었고, POSIX 표준의 구현을 준수 할 것으로 가정합니다.원래 유닉스 시스템에서 개발 된 소프트웨어는 자주 Yacc에와 렉스의 내부를 사용하고있다. 이 패키지에 포함 된 도구는 소프트웨어는 리눅스 나 BSD 무료 유닉스 플랫폼에서 컴파일 할...

항아리 :: 서명자 펄 모듈이 서명 된 JAR 파일을 만드는 과정을 쉽게.시놉시스# 사용 FindBin는 제안이다.FindBin QW ($ RealBin)를 사용;항아리를 사용 :: 서명자를;내 $ 서명자 = 항아리 :: Signer-> 새가;필요한 경우 키 저장소의 # 위치 만들었습니다.$ signer-> 키 스토어 ( "$ RealBin가 / MyKeyStore");# 인증서의 DNAME 속성.$ signer-> DNAME ( "CN = 마크 남부,...

는 QNA​​P TS-101 / TS-201에 대한 MySQL의 팩은 QNAP NAS 서버에 TS-101 / TS-201를 MySQL을 설치하기 위해 만들어졌습니다. 그것은 미리 컴파일 된 MySQL 서버를 포함하고 프로그램을 설치합니다. 그것이 필요하다면 MySQL 클라이언트를 지원하는 PHP 모듈도 포함됩니다. 팩은 시작 / 정지 mysql을위한 간단한 웹 페이지가 포함되어 있습니다.설치 :MySQL의라는 이름의 공유 폴더를 만듭니다. 당신은 직접...

EasyEclipse C와 C ++에 대한 것은 마른 사람에게 경험이 풍부한 C와 C 이클립스 새로운 ++ 개발자를위한 이클립스 배포판입니다.C 및 C ++에 대한 EasyEclipse는 이클립스 C 및 C ++ 코드를 개발을 시작하는 데 필요한 모든 것입니다.이 분포는 다음과 같은 플러그인이 포함되어 있습니다핵심 구성 요소 :· 이클립스 플랫폼 3.2.1 - 이클립스에서 플랫폼 서비스를 공유.· 이클립스 도구 3.2.1 - 다양한 이클립스 프로젝트에...

Mindquarry의 협업 서버 모두를 위해 사용할 수 쉽게 만든 입증 된 전문 협업 도구의 집합입니다.이것은 당신이 당신의 작업을 간소화하고 더 효율적이고 생산적이며 창조적이 될 수 있습니다.Mindquarry 무료 소프트웨어입니다. Mindquarry는 다운로드 사용하고 무료로 재배포 할 수 있습니다 의미, 오픈 소스 소프트웨어입니다.Mindquarry는 팀워크를 지원합니다. Mindquarry는, 파일, 아이디어를 교환하고 정의를 공유하고 자신과...

DREAM Tool

DREAM Tool 0.7 Beta

DREAM 도구는 여러 (실시간, 소비 전력, 리소스) 제약 조건을 표현할 수있는 공통 시맨틱 도메인을 제공하는 것을 목적으로 일반적인 프레임 워크이다.의미 도메인은 의미 하이브리드 오토마타의 형식주의에 고정 된 실행 C ++ 모델이 있습니다. 계산의 모델은 하이브리드 자동 장치에 해당하지만, 지금까지 우리는 적당한 크기의 시스템에서 시간 초과 오토마타를 사용하여 보수적 근사 모델을 분석하는데 성공했다.대규모 예제와 함께 사용자를 다루는 것은 시스템이...

OMake

OMake 0.9.8.5-3

OMake은 GNU와 비슷한 스타일과 구문을 사용하여 빌드 시스템을 만들하지만 한 번에 여러 개의 목표를 생산 명령에 대한 표준 편집 작업, 지원을 단순화 여러 디렉토리, 기본 설정 파일에 걸쳐 대규모 프로젝트에 대한 지원을 포함하여 많은 추가 기능과 함께 , MD5를 사용하여 빠르고 안정적​​인, 자동화 된 스크립트 의존성 분석을 소화, 휴대 성, 그리고 그렙, 나오지도하고, AWK 같은 프로그램의 가장 일반적인 기능을 제공하는 내장 함수....

대화 형 Decompiler는 프로젝트는 사용자가 자신이 점진적으로 낮은 수준의 리팩토링의 연속 응용 프로그램, 궁극적으로 레아에 의해 컴파일 해제 C 언어에서 어셈블리 코드의 거의 직역,로 시작하는 대화 형 디 컴파일러이며,여기에 "대화 형 Decompiler는"몇 가지 주요 기능은 다음과 같습니다...