Quellverzeichnis products/Sources/formale Sprachen/C/Android/dalvik/dalvik/dx/tests/

001-nop     002-minimal-valid     003-magic-version-access     004-cp-bottom-up     005-cp-top-down     006-interfaces     007-no-superclass     008-field     009-method     010-class-attrib-InnerClasses     011-class-attrib-Synthetic     012-class-attrib-SourceFile     013-class-attrib-Deprecated     014-field-attrib-ConstantValue     015-field-attrib-Synthetic     016-field-attrib-Deprecated     017-method-attrib-Code     018-method-attrib-Exceptions     019-method-attrib-Synthetic     020-method-attrib-Deprecated     021-code-attrib-LineNumberTable     022-code-attrib-LocalVariableTable     023-code-exception-table     024-code-bytecode     025-class-attrib-Signature     026-field-attrib-Signature     027-method-attrib-Signature     028-class-attrib-EnclosingMethod     029-unit-Bits     030-minimal-jasmin     031-bb-dead-code     032-bb-live-code     033-unit-IntList     034-dex-minimal     035-dex-instance-var     036-dex-static-var     037-dex-static-final-var     038-dex-instance-method     039-dex-static-method     040-dex-constructor     041-dex-abstract-method     042-dex-ignore-result     043-dex-two-classes     044-dex-math-ops     045-dex-switch-ops     046-dex-exceptions     047-dex-wide-args     048-dex-new-array     049-dex-instanceof     050-dex-checkcast     051-dex-explicit-null     052-dex-static-var-access     053-dex-instance-var-access     054-dex-high16     055-dex-explicit-throw     056-dex-call-interface     057-dex-call-virtual     058-dex-call-direct     059-dex-call-super     060-dex-call-static     061-dex-try-catch     062-dex-synch-method     063-dex-empty-switch     064-dex-array-access     065-dex-new-array     066-dex-try-catch-rethrow     067-dex-switch-and-try     068-dex-infinite-loop     069-dex-source-position     070-dex-multianewarray     071-dex-java-stack-ops     072-dex-switch-edge-cases     073-dex-null-array-refs     074-dex-form35c-edge-case     075-dex-cat2-value-merge     076-dex-synch-and-stack     077-dex-code-alignment     078-dex-local-variable-table     079-dex-local-variable-renumbering     080-dex-exception-tables     081-dex-throws-list     082-dex-throws-list-sharing     083-ssa-phi-placement     084-dex-high-register-moves     085-dex-jsr-ret     086-ssa-edge-split     087-ssa-local-vars     088-ssa-combine-blocks     089-dex-define-object     090-dex-unify-arrays     091-ssa-const-collector     092-ssa-cfg-edge-cases     093-ssa-invoke-range     094-scala-locals     095-dex-const-string-jumbo     096-dex-giant-catch     097-dex-branch-offset-zero     098-dex-jsr-ret-throw     099-dex-core-library-error     100-local-mismatch     101-verify-wide-math     102-verify-nonwide-math     103-verify-branch-ops     104-verify-return-ops     105-verify-load-store-ops     106-verify-object-ops     107-verify-stack-ops     108-string-annotation     109-int-branch     110-dex-preserve-this     111-use-null-as-array     112-dex-return-jsr-result     113-old-style-inner-class     114-value-propagation     115-merge     116-leb128     117-modified-utf8     118-find-usages     119-merge-conflict     121-sccp     122-switch-with-high-register     123-dex-transform-invalid-virtual-to-direct     124-multidex-option-no-overflow     125-main-dex-list     126-main-dex-list-one-dex     127-merge-stress     128-multidex-option-overflow     129-numthread-deterministic     130-numthread-multidex-deterministic     131-perf     132-invoke-polymorphic     133-source-debug-extension     134-maindexlist-lambdas     135-invoke-custom     136-null-constant-debug-info     137-dexmerger-dex38     138-invoke-polymorphic-again     139-lambda-metafactory     140-ssa-phi-overlap     141-invoke-polymorphic-varhandles     142-const-method-handle     143-interface-methods   run-all-tests         run-test

Wurzel Suchen PVS Prover Isabelle Prover NIST Cobol Testsuite Cephes Mathematical Library Vienna Development Method Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.