ESC/Java2 2.0b4 (Default branch)


 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News ESC/Java2 2.0b4 (Default branch)
# 1  
Old 01-16-2008
ESC/Java2 2.0b4 (Default branch)

ESC/Java2 is an Extended Static Checker for Java. It automatically,statically, and modularly detects common programming errors. It reasonsabout Java programs that have (optional) annotations written in JML.License: Other/Proprietary License with SourceChanges:
Simplify has moved into its own project, Javafe has moved into its own project. ESC/Java2 now builds against an external Javafe library. Pre-built binaries have been added for the ASTGEN and ASTFILELIST tools, which are now part of Javafe.Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread

6 More Discussions You Might Find Interesting

1. Solaris

Esc-k and command history

Good afternoon, I am an Oracle DBA that is a bit stumped on the sudo and viewing historical commands. In the past on solaris 10 we would all first use our own username and password to putty to our unix box. Then in our /home/"my username"/.profile file it is setup to use sudo -u oracle for us to... (5 Replies)
Discussion started by: cptkirkh
5 Replies

2. Shell Programming and Scripting

Esc - key

hi i remember sometime back working in unix, when u dont recall a complete file name..u hit ESC key couple of times and actual complete name of that file which u looking for , gets visible For this to be enabled , do we need to make any entry in .profile file. In my current project, am... (3 Replies)
Discussion started by: sureshg_sampat
3 Replies

3. UNIX for Dummies Questions & Answers

How to invoke ESC+K

How to invoke ESC+K to get recent commands in Korn Shell. In some of the unix machine ESC+K is available and in some machines, it does not work. All of the machines that I work have Korn shell. (5 Replies)
Discussion started by: bobbygsk
5 Replies

4. Linux

ESC sequence on RHEL5

We have migrated one of servers from RH 2.1 to RHEL5 , some of the scripts on our machine use escape sequence to print output . Om RH 2.1 we were using echo echo "\033ERROR, which would give output ERROr in red . However the script does not work properly with RH5 and gives \033 as output . I... (2 Replies)
Discussion started by: amit1_x
2 Replies

5. UNIX for Dummies Questions & Answers

how to install this utility CC k[ESC}

I am quite used to program this way and its frustrating when you find that the utility is not there anymore...in the new system. I used give this in the command line CC k this used to give all the files starting with k one by one as I keep hitting the return key. like if I had 10 files... (5 Replies)
Discussion started by: navin10
5 Replies

6. Shell Programming and Scripting

append esc string

I have a request that is simple, but I can't figure out how to do it. I have a unix file that I want to append the following string to the front of the file <esc>&l1O<esc>(0U<esc>(s0p16.66h8.5v0s0b0T and an <esc>E to the end. I know that I could do something like cat... (2 Replies)
Discussion started by: beilstwh
2 Replies
Login or Register to Ask a Question
DACS.JAVA(7)						  DACS Miscellaneous Information					      DACS.JAVA(7)

NAME
dacs.java - DACS Java support DESCRIPTION
This document describes support for Java provided by DACS. To enable Java support, DACS must be configured using the --enable-java flag. It may also be necessary to specify the location of the Java commands and include files. See dacs.install(7)[1]. Note Java support is currently very limited and should be considered experimental. It is currently only possible to call dacsauth(1)[2] and dacscheck(1)[3] using the Java Native Interface (JNI) provided. The command line arguments to both of these commands are exactly as documented in their manual pages. Each argument is passed as a String. The code is not thread-safe and is probably not suitable for being called many times within a particular process due to assumptions it makes about dynamic memory allocation. There are no immediate plans to improve or extend Java support. Using the existing capability to build the JNI layer, however, it should not be difficult for an experienced Java programmer to build upon the example Java code provided. With Java support enabled, building DACS will copy the JNI shared library and a .jar file to the library directory (default: /usr/local/dacs/lib), and the JNI include files to the include directory (default: /usr/local/dacs/include). The tools/java/jni distribution directory contains a simple script called javarun that demonstrates how to run dacsauth or dacscheck as a Java application. For example, to validate the Unix password for user somebody, run (as root): ./javarun dacsauth -m unix suff -user somebody -prompt DIAGNOSTICS
The return codes are as documented in the command's manual page. AUTHOR
Distributed Systems Software (www.dss.ca[4]) COPYING
Copyright2003-2012 Distributed Systems Software. See the LICENSE[5] file that accompanies the distribution for licensing information. NOTES
1. dacs.install(7) http://dacs.dss.ca/man/dacs.install.7.html 2. dacsauth(1) http://dacs.dss.ca/man/dacsauth.1.html 3. dacscheck(1) http://dacs.dss.ca/man/dacscheck.1.html 4. www.dss.ca http://www.dss.ca 5. LICENSE http://dacs.dss.ca/man/../misc/LICENSE DACS 1.4.27b 10/22/2012 DACS.JAVA(7)