자바 + 정보 흐름 (짧은 JIF)은 컴파일시에 실행시에 모두 정보 흐름 제어 및 액세스 제어를 지원하는 확장 자바 보안 형식의 프로그래밍 언어이다.JIF 컴파일러와 런타임 시스템의 소스 코드를 다운로드 할 수 있습니다. JIF는 자바로 작성되고, 수개 국어로 확장 자바 컴파일러 프레임 워크를 사용하여 만들어집니다.정적 정보 흐름 제어는 기밀성과 컴퓨팅 시스템에 의해 조작 정보의 무결성을 보호 할 수있다. 컴파일러는 정보 보안 특성 엔드 - 투 - 엔드...
카테고리별로 검색
- 개발자 도구
- IDE 소프트웨어 및 SDK
- 구성 요소 및 도서관
- 데이터베이스 관리 소프트웨어
- 데이터베이스 소프트웨어
- 디버깅 소프트웨어
- 버그 추적 소프트웨어
- 버전 관리 시스템
- 사용자 인터페이스 소프트웨어
- 설치
- 정력 플러그인
- 조립 및 헥스 편집기
- 코드 편집기
- 통역 및 컴파일러
- 품질 보증 및 테스트 소프트웨어
- 현지화 및 국제화 소프트웨어
- 게임
- 교육 및 과학 소프트웨어
- 그래픽 디자인 소프트웨어
- 네트워킹 소프트웨어
- 데스크톱 향상
- 드라이버
- 디스크 및 파일 소프트웨어
- 디지털 사진 소프트웨어
- 보안 소프트웨어
- 브라우저
- 비디오 소프트웨어
- 비즈니스 및 사무실 소프트웨어
- 생산성 소프트웨어
- 시스템 유틸리티
- 오디오 소프트웨어
- 웹 개발 소프트웨어
- 인터넷 소프트웨어
- 통신 소프트웨어
- 홈 & 가족 소프트웨어
- 화면 보호기
인기있는 소프트웨어
-
TOra 2 Jun 15
-
Z-machine Preservation Project 2 Jun 15
-
Regina Rexx Interpreter 3 Jun 15
-
Writer's Cafe 2 Jun 15
-
benchbase 11 May 15
-
GIT 20 Jan 18
-
Free Pascal Compiler 22 Jun 18
새로운 개발자 도구 에 Linux
Heirloom Development Tools 070527
항아리 :: 서명자 펄 모듈이 서명 된 JAR 파일을 만드는 과정을 쉽게.시놉시스# 사용 FindBin는 제안이다.FindBin QW ($ RealBin)를 사용;항아리를 사용 :: 서명자를;내 $ 서명자 = 항아리 :: Signer-> 새가;필요한 경우 키 저장소의 # 위치 만들었습니다.$ signer-> 키 스토어 ( "$ RealBin가 / MyKeyStore");# 인증서의 DNAME 속성.$ signer-> DNAME ( "CN = 마크 남부,...
는 QNAP 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는, 파일, 아이디어를 교환하고 정의를 공유하고 자신과...
eSvn 0.6.12
eSvn 응용 프로그램은 서브 버전 시스템의 GUI 프론트 엔드입니다.여기에 "eSvn"의 일부 주요 기능은 다음과...
DREAM Tool 0.7 Beta
DREAM 도구는 여러 (실시간, 소비 전력, 리소스) 제약 조건을 표현할 수있는 공통 시맨틱 도메인을 제공하는 것을 목적으로 일반적인 프레임 워크이다.의미 도메인은 의미 하이브리드 오토마타의 형식주의에 고정 된 실행 C ++ 모델이 있습니다. 계산의 모델은 하이브리드 자동 장치에 해당하지만, 지금까지 우리는 적당한 크기의 시스템에서 시간 초과 오토마타를 사용하여 보수적 근사 모델을 분석하는데 성공했다.대규모 예제와 함께 사용자를 다루는 것은 시스템이...
OMake 0.9.8.5-3
OMake은 GNU와 비슷한 스타일과 구문을 사용하여 빌드 시스템을 만들하지만 한 번에 여러 개의 목표를 생산 명령에 대한 표준 편집 작업, 지원을 단순화 여러 디렉토리, 기본 설정 파일에 걸쳐 대규모 프로젝트에 대한 지원을 포함하여 많은 추가 기능과 함께 , MD5를 사용하여 빠르고 안정적인, 자동화 된 스크립트 의존성 분석을 소화, 휴대 성, 그리고 그렙, 나오지도하고, AWK 같은 프로그램의 가장 일반적인 기능을 제공하는 내장 함수....
대화 형 Decompiler는 프로젝트는 사용자가 자신이 점진적으로 낮은 수준의 리팩토링의 연속 응용 프로그램, 궁극적으로 레아에 의해 컴파일 해제 C 언어에서 어셈블리 코드의 거의 직역,로 시작하는 대화 형 디 컴파일러이며,여기에 "대화 형 Decompiler는"몇 가지 주요 기능은 다음과 같습니다...
카테고리별로 검색
- 개발자 도구
- IDE 소프트웨어 및 SDK
- 구성 요소 및 도서관
- 데이터베이스 관리 소프트웨어
- 데이터베이스 소프트웨어
- 디버깅 소프트웨어
- 버그 추적 소프트웨어
- 버전 관리 시스템
- 사용자 인터페이스 소프트웨어
- 설치
- 정력 플러그인
- 조립 및 헥스 편집기
- 코드 편집기
- 통역 및 컴파일러
- 품질 보증 및 테스트 소프트웨어
- 현지화 및 국제화 소프트웨어
- 게임
- 교육 및 과학 소프트웨어
- 그래픽 디자인 소프트웨어
- 네트워킹 소프트웨어
- 데스크톱 향상
- 드라이버
- 디스크 및 파일 소프트웨어
- 디지털 사진 소프트웨어
- 보안 소프트웨어
- 브라우저
- 비디오 소프트웨어
- 비즈니스 및 사무실 소프트웨어
- 생산성 소프트웨어
- 시스템 유틸리티
- 오디오 소프트웨어
- 웹 개발 소프트웨어
- 인터넷 소프트웨어
- 통신 소프트웨어
- 홈 & 가족 소프트웨어
- 화면 보호기
인기있는 소프트웨어
-
MCU 8051 IDE 2 Jun 15
-
GDB 16 Aug 18
-
Barista 14 Apr 15
-
motor 3 Jun 15
-
Python 22 Jun 18
-
Sol Manager 3 Jun 15
-
ClamTk 2 Oct 17