projects
/
cacao.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
verifier documentation
2004-01-16
edwin
verifier documentation
commit
|
commitdiff
|
tree
2004-01-13
edwin
added class/field/method name checking
commit
|
commitdiff
|
tree
2004-01-13
edwin
Added check for field/method uniqueness
commit
|
commitdiff
|
tree
2004-01-11
edwin
moved packagename field to end of classinfo
commit
|
commitdiff
|
tree
2004-01-10
edwin
added package access checking
commit
|
commitdiff
|
tree
2004-01-10
edwin
typecheck cleanup
commit
|
commitdiff
|
tree
2004-01-10
edwin
implemented subroutine verification (Coglio's method...
commit
|
commitdiff
|
tree
2004-01-07
edwin
use global utf strings
commit
|
commitdiff
|
tree
2004-01-07
edwin
added verification checks
commit
|
commitdiff
|
tree
2004-01-07
edwin
include main.h
commit
|
commitdiff
|
tree
2004-01-07
edwin
added various verification checks
commit
|
commitdiff
|
tree
2004-01-07
edwin
handle end_pc == code_length
commit
|
commitdiff
|
tree
2003-12-31
edwin
check JSR recursion, access flags, special method invokation
commit
|
commitdiff
|
tree
2003-12-31
edwin
check constant_pool_count != 0
commit
|
commitdiff
|
tree
2003-12-31
edwin
check flags consistency, final, array dimension, constant...
commit
|
commitdiff
|
tree
2003-12-31
edwin
added TYPECHECK_STACK_COMPCAT (disabled)
commit
|
commitdiff
|
tree
2003-12-31
edwin
added computational category checking for stack manipulations
commit
|
commitdiff
|
tree
2003-12-31
edwin
check exception handler range, LOOKUPSWITCH sort, TABLESWITC...
commit
|
commitdiff
|
tree
2003-12-31
edwin
added ACC_SUPER
commit
|
commitdiff
|
tree
2003-12-22
edwin
comment
commit
|
commitdiff
|
tree
2003-12-17
edwin
further comments
commit
|
commitdiff
|
tree
2003-12-17
edwin
further comments
commit
|
commitdiff
|
tree
2003-12-17
edwin
comments and better error messages
commit
|
commitdiff
|
tree
2003-12-16
edwin
added -classpath .
commit
|
commitdiff
|
tree
2003-12-16
edwin
added -classpath .
commit
|
commitdiff
|
tree
2003-12-16
edwin
added -noverify option
commit
|
commitdiff
|
tree
2003-12-16
edwin
make dump_alloc work for oversized blocks
commit
|
commitdiff
|
tree
2003-12-16
edwin
comments
commit
|
commitdiff
|
tree
2003-12-16
edwin
added stack overflow checking and comments
commit
|
commitdiff
|
tree
2003-12-16
edwin
builtin table fixes and loging
commit
|
commitdiff
|
tree
2003-12-16
edwin
removed c++ comment
commit
|
commitdiff
|
tree
2003-12-16
edwin
use loging functions
commit
|
commitdiff
|
tree
2003-12-16
edwin
safe methodindent--
commit
|
commitdiff
|
tree
2003-12-16
edwin
removed c++ comments
commit
|
commitdiff
|
tree
2003-12-16
edwin
pointer cast bugfix
commit
|
commitdiff
|
tree
2003-12-16
edwin
vftbl argument for builtin_arrayinstanceof
commit
|
commitdiff
|
tree
2003-12-16
edwin
fixed builtin problem on alpha
commit
|
commitdiff
|
tree
2003-12-15
edwin
allow throwing across JSR boundaries
commit
|
commitdiff
|
tree
2003-12-15
edwin
show_icmd bugfix
commit
|
commitdiff
|
tree
2003-12-15
edwin
DUP2_X2 bugfix
commit
|
commitdiff
|
tree
2003-12-14
edwin
bugfix
commit
|
commitdiff
|
tree
2003-12-14
edwin
safe error(...) call
commit
|
commitdiff
|
tree
2003-12-14
edwin
Check error(...) and .inc files
commit
|
commitdiff
|
tree
2003-12-14
edwin
added check for illegal opcode 186
commit
|
commitdiff
|
tree
2003-12-11
edwin
fixed loging crash caused by printf
commit
|
commitdiff
|
tree
2003-12-11
edwin
do BasicToStrings automatically
commit
|
commitdiff
|
tree
2003-12-11
edwin
documented new builtin table
commit
|
commitdiff
|
tree
2003-12-11
edwin
changed builtin table layout
commit
|
commitdiff
|
tree
2003-12-10
edwin
detect branches to middle of instruction
commit
|
commitdiff
|
tree
2003-12-10
edwin
added end-of-bytecode check
commit
|
commitdiff
|
tree
2003-12-09
edwin
added UTF-8 validation
commit
|
commitdiff
|
tree
2003-12-08
edwin
made descriptor parsing safer + array classes fix
commit
|
commitdiff
|
tree
2003-12-08
edwin
minor change in descriptor parsing macros
commit
|
commitdiff
|
tree
2003-12-08
edwin
minor change in descriptor parsing macros
commit
|
commitdiff
|
tree
2003-12-08
edwin
added #includes and emacs tailer
commit
|
commitdiff
|
tree
2003-12-08
edwin
added uninitialized object typecheck
commit
|
commitdiff
|
tree
2003-12-07
edwin
minor loging changes
commit
|
commitdiff
|
tree
2003-12-07
edwin
added loging functions, made kaffe tests run
commit
|
commitdiff
|
tree
2003-12-07
edwin
some typecheck fixes
commit
|
commitdiff
|
tree
2003-12-07
edwin
added method invocation typecheck
commit
|
commitdiff
|
tree
2003-12-07
edwin
added exception handler typecheck + bugfix
commit
|
commitdiff
|
tree
2003-12-06
edwin
added the typechecker (not yet complete)
commit
|
commitdiff
|
tree
2003-12-04
edwin
preparations for the typechecker
commit
|
commitdiff
|
tree
2003-11-23
edwin
removed mysterious class_array declaration
commit
|
commitdiff
|
tree
2003-11-23
edwin
new array classes cleanup + made tests (except fp*...
commit
|
commitdiff
|
tree
2003-11-23
edwin
Re-added tests for array classes
commit
|
commitdiff
|
tree