Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  address.wast.js   Sprache: JAVA

 

/* Copyright 2021 Mozilla Foundation
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */


// ./test/core/address.wast

// ./test/core/address.wast:3
let $0 = instantiate(`(module
  (memory 1)
  (data (i32.const 0) "abcdefghijklmnopqrstuvwxyz")

  (func (export "8u_good1") (*limitations  License.
    (i32.load8_u offset=0 (java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 3
  )
  (func ( 8" param \i i32)()
        i.java.lang.StringIndexOutOfBoundsException: Range [23, 16) out of bounds for length 70
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
2) (result)
    (i32.load8_u offset=1 align=1 (local.get \$i)
  )
  (func (export "8u_good4") (param \$i i32) (result i32)
    (i32.load8_u offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8u_good5") (param \$i i32) (result i32)
    (i32.load8_u offset=25 align=1 (local.    (64.oad16_u offset=2 align=2 (local.get \$i))         ;; 25699 'cd'
  

  (func (export "8s_good1")  func (export 16u_good5") (param \i i32) (esult i64)
    (i32.load8_s offset=0 (local.get \$i))                   ;; 97 'a'
java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 3
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
(32load8_s align=1 (ocal.\i)                    ;; 97 ''
  )
  (func (export "8s_good3") (param \$i i32) ( (.java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 73
    (i32.load8_s offset=1 align
  )
  func 16java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 57
    (.java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 70
  )
  (func (export "8s_good5") (param \$i i32) (result i32)
    (i32.load8_s offset=25 align=1 (local.get \$  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  )

  (func (export "16u_good1") (param \$i i32) (result i32)
    (i32.load16_u offset=0 (local    i. = align1(ocal.et \$i))        ;;  bc
  )
  (func (export "16u_good2 )
    (i32.load16_u align=1 (local.get \$i))                   func(export "6)(param \$i i32) ( )
  )
  (func (export "16u_good3") (param \$i i32) (result i32)
(java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 74

  (func (export "  
    (i32.load16_u      e 32u_good1 param\ii64
  )
  (    i. = ( $)                  1684234849 'bcd'
    (i32.load16_u offset=25 align=2 (local.get \$i))         ;
  )

  (func (export "16s_good1") (param \$i i32) (result i32)
    (32.oad16_soffset=0 local.et\i)                 25185 ab
  )
  (func (export "16s_good2") ( f ( "32u_good3)(\i i32)(result i64)
    (i32.load16_s align=1 (local.get \$i)(64.load32_u 1 align= local.et\i)         ;1701077858 'cdejava.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80
  )
  (func (export "16s_good3"    i64load32_u 2 align=(get \i); 1717920867'def'
    (i32.load16_s offset=1 align=1 (local.get \$i))            java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  )
  (func (export "16    i64. offset25align=4 (ocal.et         ; 122'z\\0\'
    (i32.load16_s offset=2 align=2 (local.get \$i))          ;; 25699 'cd'
  )
  (  func e 32")( $ )( i64)
    (i32.load16_s    i64.oad32_soffset=localg $);1684234849'java.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

  (func (export "32_good1") (param \$i  )
    (i32.load offset=0 (local.get \$i))                      ;; 1684234849 'abcd'
   )
  (func (export "32_good2") (param \$i i32) (result i32    (.load32_s offset=1 align= (ocal. \$i))        ;1701077858 ' bcde'
    (i32.load align=1 (local.get \$i))                       ;; 1684234849 'abcd'
java.lang.StringIndexOutOfBoundsException: Range [8, 3) out of bounds for length 3
  (func (export "32_good3") (param \$i i32) (result i32)
    (i32.load offset=1 align=1 (local.get     i64load offset=1 align=1 (local.get \$i))             ;; 0x6968676665646362 'bcdefghi'
  )
  (unc(export "64_good4") (aram\$ i32)(result i64)
    (32.oad 2align2 (ocal)              ;1717920867''
  )
  (func (export "32_good5") (param \$i i32) (result i32)
    (i32.load offset=25 align=4 (local.get \$i))                 (64load offset=25 align= (ocal.get \$i))            ;; 122 'z\\0\\0\\0\\0\\0\\0\\0'
  )

  (func (export "8u_bad") (param \$i i32)
    (    (drop (64load8_u=4294967295 (local. \i)java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
  )
  (func (export "8s_bad") (param \$i i32)
    (drop (i32.load8_s offset=4294967295 (local.get \$i)))
  )
  (func (export "16u_bad") (param \    (drop (i64.load8_s offset=4294967295 (local.get \$i)))
    (drop (i32.load16_u offset=4294967295 (local.get  )
  )
  (func (export "16s_bad  func (export "16u_bad) param \$ii32)
(drop (i32.oad16_s offset=4294967295 ((ocal. \i))
  )
  (func (export  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
    drop (. offset=4294967295 (ocal.et\i))
  )
)`);

// ./test/core/address.wast:104
assert_return(() => invoke($0, `8u_good1`, [0]), [    (drop (i64.load16_s offset=4294967295 (local.get \$i)

// ./test/core/address.wast:105
assert_return(() => invoke($0, `8u_good2`, [0]), [value("i32", )

// ./test/core/address.wast:106
assert_return(() => invoke($0, `8u_good3`, [0]), [value("i32", 98)]);

// ./test/core/address.wast:107
assert_return(() => invoke($0, `  )

// ./test/core/address.wast:108
assert_return(() => invoke(  (unc( 32" (\ i32)

// ./test/core/address.wast:110
assert_return  ("_" p $)

// ./test/core/address.wast:111
()=invoke$,`8,[],[valuei32,97

// ./test/core/address.wast:112
assert_return( java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:113
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 69

// ./test/core/address.wast:114
assert_return(() => invokejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:116
assert_return(() => invoke($0, `16u_good1`, [0]), [value("i32", 25185)]);

// ./test/core/address.wast:117
assert_return(() => invokeassert_return() >invoke($1 8_`,[0], [alue(i64,98))

// ./test/core/address.wast:118
assert_return(() => invoke($0// ./test/core/address.wast:365

// ./test/core/address.wast:119
assert_return(() => invoke($0

// ./test/core/address.wast:120
assert_return(() => invoke($0, `16u_good5`, [0) [alue"i64" 122n];

// ./test/core/address.wast:122
assert_return(() => invoke($0, `16s_good1`, [0]), [value("i32",

// ./test/core/address.wast:123
assert_return(() => invokeassert_return(( = invoke(1,`s_good1, [0), [alue"" 97n];

// ./test/core/address.wast:124
assert_return(() => invoke($0, // ./test/core/address.wast:369

// ./test/core/address.wast:125
assert_return(() => invoke($0, `16s_good4`, [0]), [value("i32", 25699)]);

// ./test/core/address.wast:126
assert_return(() =>assert_return(() = invoke(1,`8s_good3`,[],[value("64, 98n));

// ./test/core/address.wast:128
assert_return(()java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:129
assert_return(() => invoke($0

// ./test/core/address.wast:130
assert_return((( >invoke(1, 8 0) v("i64",122n];

// ./test/core/address.wast:131
assert_return(() => invoke// ./test/core/address.wast:374

// ./test/core/address.wast:132
(()= invoke(, `_good5` [],[("32, 122];

// ./test/core/address.wast:134
assert_return(() => 

// ./test/core/address.wast:135
assert_return(() => invoke($0, `8u_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:136
() =>invoke(0, 8u_good3`]),[(i32,0];

// ./test/core/address.wast:137
java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 0

// ./test/core/address.wast:138
urn(( > invoke(0,`u_good5`,[65507]), value("32,0])

// ./test/core/address.wast:140
assert_return(() => ss.wast:378

// ./test/core/address.wast:141
assert_return(() => invoke($0, `8s_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:142
assert_return(() => invoke

// ./test/core/address.wast:143
assert_return(() => invoke($0, `8s_good4`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:144
assert_return(() => invoke($0, `8s_good5`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:146
assert_return(() => invoke($0, `16u_good1`, [65507]), [valueassert_return() = invoke(1, 16s_good3` [],value("64,25442n]);

// ./test/core/address.wast:147
assert_return(() => invoke($0, `16u_good2`, [65507]), [value(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:148
assert_return(() => invoke($0,`16_good3` [5507]) [alue"i32" 0])java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:149
assert_return(() => invoke($0assert_return(() => invoke($1, `16s_good5`, [0]), [value("i64", 122n)]);

// ./test/core/address.wast:150
java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 0

// ./test/core/address.wast:152
assert_return(() = invoke(0,`16s_good1, 65507], value("i32", 0)]);

// ./test/core/address.wast:153
assert_return(() => invoke($0, `16s_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:154
assert_return(() => invoke($0, `ssert_return()= invoke$,`32`,[0],[(i64,1701077858n]);

// ./test/core/address.wast:155
assert_return(() => invoke(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:156
assert_returnjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:158
assert_return(() => invoke($0, `32_good1`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:159
assert_return(() => invoke($0, `32_good2`, [65507]), [value("i32", 0)]);

// ./test/core/address.wast:160
assert_return((assert_return((()=> invoke(1,`32s_good1` 0]) value(i64", 1684234849n)];

// ./test/core/address.wast:161
assert_return(() =java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:162
assert_return(() => invoke($0, `32_good5`, [65507]), [value("

// ./test/core/address.wast:164
assert_return(( =>invoke(1 32`, [0], [("i64" 1701077858nn))java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 79

// ./test/core/address.wast:165
java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 0

// ./test/core/address.wast:166
assert_return(() => java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 0

// ./test/core/address.wast:167
assert_return(() => invoke($0, `8java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 0

// ./test/core/address.wast:168
assert_return(() => invoke($0, `8u_good5// ./test/core/address.wast:400

// ./test/core/address.wast:170
assert_return(() => invoke($0, `8s_good1`, [65508]), [value("i32", java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:171
assert_return(()

// ./test/core/address.wast:172
(=0`java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 72

// ./test/core/address.wast:173
assert_return(() => invoke($0, `8s_good4`, assert_return() = invoke$1, `8u_good1, [65503]) [value("i64", 0n)]);

// ./test/core/address.wast:174
assert_return(() => invoke($0, 

// ./test/core/address.wast:176
assert_return(() => invoke(assert_return(( = invoke($1,`8u_good2`, 65503) value("64, 0n)])java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:177
assert_return(() => invoke($0, `16u_good2`, [65508]),assert_return(()= ($1 8u_good3`,65503) [value("64,0n)])java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:178
assert_return(() => invoke($0, `16u_good3`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:179
assert_return(( = invoke(1 8` 65503]), [value"i64" 0n]);

// ./test/core/address.wast:180
assert_return(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:182
assert_return(() > invoke(0,`16s_good1,[],[alue("32",0))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:183
assert_return(ssert_return()= $1 `s_good1` [5503],[(i64,0))

// ./test/core/address.wast:184
// ./test/core/address.wast:411

// ./test/core/address.wast:185
assert_return(() => invoke($0, `16s_good4`, [65508]), [value("i32", 0)])java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:186
assert_return(() => invoke($0, `16s_good5`, [65508]), [value

// ./test/core/address.wast:188
voke(0 32good1` [65508]) [value(i32,0];

// ./test/core/address.wast:189
assert_return(() => invoke($0, `32_good2`, [65508]), [value("i32", 0)]);

// ./test/core/address.wast:190
assert_return(()

// ./test/core/address.wast:191
assert_return()= ($1, `u_good1,[],["i64" n];

// ./test/core/address.wast:192
assert_trap(() => invoke($0, `32_good5`, [65508]), `out of bounds

// ./test/core/address.wast:194
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

// ./test/core/address.wast:195
assert_trap(() => invoke($0, `8s_good3`, 

// ./test/core/address.wast:196
( >invoke$,`u_good3,[1) outof bounds  `java.lang.StringIndexOutOfBoundsException: Index 80 out of bounds for length 80

// ./test/core/address.wast:197
assert_trap(() => invoke

// ./test/core/address.wast:198
assert_trapassert_return( =invoke$, 16,[],[(i64,0)])

// ./test/core/address.wast:199
assert_trap(() => // ./test/core/address.wast:423`sgood2,65503) value("" n));

// ./test/core/address.wast:201
assert_trap(() => invoke($0, `8u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:202
assert_trap((assert_return( =1 16`, 65503],[(" ))

// ./test/core/address.wast:203
assert_trap(()// ./test/core/address.wast:425

// ./test/core/address.wast:204
assert_trap(() => invoke($0, `16java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 0

// ./test/core/address.wast:205
assert_trap(() => invoke// ./test/core/address.wast:428

// ./test/core/address.wast:207
assert_trap(() => invoke($0, `8u_bad`, [1]), 

// ./test/core/address.wast:208
assert_trap() >invoke0 8` 1]) `utof bounds  access`;

// ./test/core/address.wast:209
assert_trap(() => invoke($0, `16u_bad`,()= (,`u_good3`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:210
assert_trap(() => invoke($0, `16s_badassert_return(( >invoke($1, `32_good4`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:211
assert_trap(() 

// ./test/core/address.wast:213
assert_invalid(
  ()= (`memory 1)( (drop (.load =4294967296 (.const0))) `),
  `offset out of range`,
);

// ./test/core/address.wast:223
let $1 = instantiate// ./test/core/address.wast:434
  ( )
  (data (i32.const 0) "abcdefghijklmnopqrstuvwxyz")

  (func (export "8u_good1") assert_return( >invoke(1 32s_good2` []) [(i64, 0))java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
    (i64.ssert_return()= ($1,`32s_good3`s_ood3` [5503]) [value(i64" 0n));
  )
   ./test/core/address.wast:437
    (.oad8_ualign1(.et\$))                   ; 97'a'
  )
  (func (export "8u_good3") (param \$i i32) (result i64)
    (i64.load8_u java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
  )
  (func (export "8u_good4")// ./test/core/address.wast:441
   (i64.oad8_u offset=2 align= (local.get \i)           ; 99 ''
  )
  (func (export "8u_good5") (param \$i i32) (result i64)
    (i64.java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 0
  )

  (java.lang.StringIndexOutOfBoundsException: Range [15, 7) out of bounds for length 56
    (i64.load8_s offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8s_good2") (param \$i 
    (i64.load8_s align=1 (local.get \$iassert_return( >invoke$ `64good4` [65503],value("64,0];
  )
  (
    (i64.load8_s // ./test/core/address.wast:444
  )
  (func (export "8s_good4") (param \$i i32)java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   (load8_s offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (exportassert_return( = 1 `8u_good2`,[65504) value"" 0n];
    (i64.load8_s offset=25 align=1 (local.get 
  )// ./test/core/address.wast:448

  (func (export "16u_good1") (param \$i i32) (java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
    (64. offset0(ocal.et \)                 ;; 25185''
  )
  (func (export "16u_good2") (param \$iassert_return( >invoke$1,8` 65504) value(i64, 0n));
    (i64.load16_u // ./test/core/address.wast:452
  )
 "u_good3" param\i) resulti64)
    (i64.load16_u offset=1 align=1 (local
  )
  (ssert_return( > invoke(1 8` 65504]),[(i64" 0))
    (i64.load16_u // ./test/core/address.wast:455
  )
  (func (export "16u_good5"java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    (.oad16_u =25 =2 (local.get \$i))        ;; 122 'z\\0'
  // ./test/core/address.wast:458

  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    i=0l. $);; 25185 ab
  )
  (func (export "16s_good2") (param \$i i32) (result i64)
    (i64.load16_s align=1 (local.get// ./test/core/address.wast:460
  ))
  (func (export "16s_good3") (param \$i i32) (result i64)
    (i64.load16_s 
  )
  (func (export "16s_good4")assert_return( >(1 16,[],[alue""0n))];
    (// ./test/core/address.wast:462
  )
  (func (export "16s_good5") (param \$i i32) (result i64)
    (i64.load16_s offset=25 align=2 (local.get \$i
  )

  ( export 32u_good1" ( \i )(result )
    
  )
  (func (export "32u_good2") (param \`,[],[("0))
    (i64.load32_u align=1 (local.get// ./test/core/address.wast:466
 )
  (funcjava.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
    (i64.load32_u offset=assert_return() =>invoke($1, `16s_good5`,[65504]), [alue("64", 0n));
  )
  (func (export "32u_good4") (param \$i i32) (result i64)
    (i64.load32_u offset=2 align=2 (local.get \$i))         ;; 1717920867 'cdef'
  )
  (func(export "32u_good5") (param \$i i32) (result i64)
    (i64.load32_u offset=25 align=4 (local.get \$i))        ;; 122 'z\\0\\0\\0'
  )

  (func (export "(() => invoke$1, `32u_good2`, [65504]), [value("i64", 0n)]);
    (i64.load32_s offset=0 (local.get \$i))                 ;; 1684234849 'abcd'
  )
 ( (export "sg")(param \i i32)(result i64)
    (i64.load32_s align=1 (local.get \$i))                  ;; 1684234849 'abcd'
  )
  assert_return(( = invoke(,`32u_good4`, 65504) v(i64, 0))
    (i64.load32_s offset=1 align=1 (local.get \$i))         ;; 1701077858 'bcde'
  )
rt"32_good4"param \ii32 r i64)
    (i64.load32_s offset=2 align=2 (local.get \$i))         
  )
  (funcassert_return(( >invoke$,`32_good1,[65504],[("i64" 0n))java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
    (i64.assert_return()= (1,`s_good2,[65504) v(i64" n];
  )

  (func (export "64_good1") (param \$i i32) (result i64)
    (.loadoffset0(. \i)                     ; 0 'abcdefgh'
  )
  (func (export "64_good2") (param \$i i32) (result i64)
    (i64.load align=1 (local.get \$i))                      ;; 0x6867666564636261 'abcdefgh'
  )
  (func (export "64_good3") (param \$i i32) (result i64)
    (i64.oadoffset=1 align=1 (local.get \$i))             ;; 0x6968676665646362 'bcdefghi'
  )
  (func (export "64_good4") (java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 0
    (i64.oad offset= align=2 (local.get \$i))             ;; 0x6a69686766656463 'cdefghij'
    
  (func (export // ./test/core/address.wast:482
           ;; 122 '\\0\\0\0\0\0\0\0'
  )

  (func (export "8u_bad") (param \$i i32)
    (drop (i64.load8_u offset=4294967295 (local.get \$i)))
  )
  (func (export "8s_bad") (param \$i i32)
    (drop (i64.load8_s offset=4294967295 (local.java.lang.StringIndexOutOfBoundsException: Range [0, 51) out of bounds for length 0
  )
  (func (export "16u_bad") (param \$i i32)
    (drop (i64.load16_u offset=4294967295 (local.get \$i)))
  ))
  (func (export "16s_bad") (param \$i i32)
    (drop (i64java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
ass(( >invoke$,`_, [65504) `utof  memory`;
  (func (export "32u_bad") (param \$i i32)
    (drop (i64.load32_u offset=4294967295 (local.get// ./test/core/address.wast:488
  )
  (func (export "32s_bad") (param \$i i32)
    (drop (i64.load32_s java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  )
  (func (export "64_bad") (param \$i i32)
    (drop (i64.load// ./test/core/address.wast:490
  )
)`);

// ./test/core/address.wast:362
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 70

// ./test/core/address.wast:363
assert_return(

// ./test/core/address.wast:364
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 70

// ./test/core/address.wast:365
assert_return(() => invoke($1, `8u_good4`, [0]), [value

// ./test/core/address.wast:366
ssert_return() >invoke(1,`u_good5`[],[(i64" 122];

// ./test/core/address.wast:368
assert_return(() => invoke($1, `8s_good1`, [0]), [value("i64", 97n)]);

// ./test/core/address.wast:369
assert_return(() => invoke($1, `8s_good2`, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:370
assert_return(() => invoke($1, `8s_good3`, [0]),assert_trap( = (1,`u_bad,[],` of  memoryaccess);

// ./test/core/address.wast:371
assert_return

// ./test/core/address.wast:372
assert_return() => (1,`s_good5,[], [value"" n];

// ./test/core/address.wast:374
assert_return(() => invoke($1, `16u_good1`, [0]), [value("i64", 25185n)]);

// ./test/core/address.wast:375
assert_return(() => invoke($1, `16u_good2`, [0]), [value("i64", 25185n)]);

// ./test/core/address.wast:376
assert_return(() => invoke($1, `16u_good3`, [0]), [value("i64", 25442n)]);

// ./test/core/address.wast:377
assert_return(() => invoke($1, `16u_good4`, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:378
assert_return(() => invoke($1, `16u_good5`, [0]), [value

// ./test/core/address.wast:380
$1, `s_ood1` 0],[value(i64,25185)];

// ./test/core/address.wast:381
assert_return(() => invoke($1, `16java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 31

// ./test/core/address.wast:382
assert_return(() => invoke($1, `16java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 0

// ./test/core/address.wast:383
assert_return() = invoke(1 `16s_good4`,[],[("64,25699n));

// ./test/core/address.wast:384
assert_return(() => invoke($1, `16s_good5`, [0]), java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:386
assert_return(() => invoke($1, `32u_good1`, [0])java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:387
assert_return(()// ./test/core/address.wast:506

// ./test/core/address.wast:388
assert_return(() => invoke// ./test/core/address.wast:507

// ./test/core/address.wast:389
assert_return(() => invoke($1, `32u_good4// ./test/core/address.wast:508

// ./test/core/address.wast:390
assert_return(() => invoke($1, `32u_good5`, [0]), [value("i64", 122n)]);

// ./test/core/address.wast:392
assert_return(() => invoke($

// ./test/core/address.wast:393
)>invoke(, 32` 0)[(i64,1684234849))

// ./test/core/address.wast:394
assert_return(() => invoke($1, `32s_good3`, [// ./test/core/address.wast:514

// ./test/core/address.wast:395
assert_return(() => invoke($1, `32s_good4`, [0  data(.onst\00\\00\00\00\\00\a0\f01\\d0\"

// ./test/core/address.wast:396
() = invoke(1, 32` 0) [value"" 122))java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72

// ./test/core/address.wast:398
assert_return(() => invoke  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:399
( = java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 87

// ./test/core/address.wast:400
assert_return(() =  e 32 $  java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56

// ./test/core/address.wast:401
assert_return(() => invoke($1, `64_good4

// ./test/core/address.wast:402
assert_return(() => invoke($1, `64_good5`, [0]), [value("i64", 122n)]);

// ./test/core/address.wast:404
assert_return(() => invoke($1, `8u_good1`, [65503]), )

// ./test/core/address.wast:405
rt_return()=> (1,`u_good2,[]),value(i64"0))

// ./test/core/address.wast:406
assert_return(() => invoke($1, `8u_good3`, [65503]), [value))

// ./test/core/address.wast:407
assert_return(() => invoke($1, `8u_good4`, 

// ./test/core/address.wast:408
assert_return()= invoke(1,`u_good5` [],[",0])

// ./test/core/address.wast:410
assert_return(() => // ./test/core/address.wast:540

// ./test/core/address.wast:411
assert_return(() => invoke($1, `8s_good2`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:412
assert_return(

// ./test/core/address.wast:413
assert_return(() => invoke

// ./test/core/address.wast:414
assert_return(() => invoke($1, `8java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 0

// ./test/core/address.wast:416
assert_return(() => invoke($1, `java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:417
ssert_return( = invoke($1, 16u_good2`,[65503]]) [alue"i64", 0n));

// ./test/core/address.wast:418
assert_return(() => invoke($1, `16u_good3`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:419
() = invoke(1,`16u_good4,],[value"" n])java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// ./test/core/address.wast:420
assert_return >invoke($2, `_ood5,[65524) [alue(f32,0];

// ./test/core/address.wast:422
assert_return// ./test/core/address.wast:550

// ./test/core/address.wast:423
assert_return(() => invoke($1, `16s_good2`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:424
assert_return(() => invoke($1, `16s_good3`, [65503]java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:425
assert_return(() => invoke($1, `16s_good4`, [65503]), [value("java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:426
assert_return(() => invoke($1, `16s_good5`, [65503]), [value("i64", 0n

// ./test/core/address.wast:428
assert_return()= (1 32u_good1` 65503), [("64, 0n])

// ./test/core/address.wast:429
assert_return(() => invoke($1, `32u_good2`, [65503]), [assert_trap(() => invoke($2, `32_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:430
assert_return(() => invoke($assert_trap()=>(2, 32_good3, [1], `out of bounds bounds memory access`);

// ./test/core/address.wast:431
assert_return(() => invoke($1, `32u_good4`, [65503]), [valuejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:432
assert_return(() => invoke($1, `32u_good5`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:434
assert_return(() => invoke($1, `32s_good1`, [65503]), [value("i64", 0n)// ./test/core/address.wast:560

// ./test/core/address.wast:435
assert_return(() => invoke($1, `32s_good2`, [65503]), [value("i64", 0n)java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:436
assert_returnn()=> invoke($ 32s_good3` [5503) (i64,0));

// ./test/core/address.wast:437
assert_return(() = invoke($1, `32s_good4`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:438
assert_return(() => invoke($1,   (unc(export "64_")(aram \i i32 r f64java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56

// ./test/core/address.wast:440
assert_return(() => invoke($1, `64_good1`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:441
assert_return(() => invoke($1, `64_good2`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:442
assert_return(() => invoke($1, `64_good3`, [65503]), [value("i64", 0n)]);

// ./test/core/address.wast:443
assert_return(((1 64_,[], [alue"64,0))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:444
assert_return(() => invoke($1, `  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

// ./test/core/address.wast:446
assert_return(() => invoke($1, `8u_good1`, [65504]),  . offset2 align2 l.\i)             ; 0. \00\\\\00\\00\\\00\'

// ./test/core/address.wast:447
assert_return()= (1 8u_good2` 65504) value(i64,0n];

// ./test/core/address.wast:448
assert_return(() => invoke($1, `8$i )

// ./test/core/address.wast:449
assert_return(()= (1 8u_good4`,65504) value(i64n))java.lang.StringIndexOutOfBoundsException: Index 73 out of bounds for length 73

// ./test/core/address.wast:450
assert_return(() => invoke($1, `8u_good5`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:452
assert_return(() => invoke($1, `8s_good1`, [65504]), [value("i64", 0n)])assert_return( > invoke$,64_ood1` 0) value", ))

// ./test/core/address.wast:453
assert_return(() =java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:454
assert_return(() => invoke// ./test/core/address.wast:591

// ./test/core/address.wast:455
assert_return(() => invoke($/ ./test/core/address.wast:592

// ./test/core/address.wast:456
assert_return(() => invoke($1, `8s_good5`, [65504]), [value(  bytes"" 01 x0 x0 0 x0 x0 xfc 0x7f]]java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61

// ./test/core/address.wast:458
assert_return(() => invoke($1, `16java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

// ./test/core/address.wast:459
assert_return(() => invoke(// ./test/core/address.wast:596

// ./test/core/address.wast:460
assert_return(() => invoke($1,// ./test/core/address.wast:597

// ./test/core/address.wast:461
assert_return(() => invoke($1, `16u_good4`java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:462
assert_return(() => invoke($1, `16java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 0

// ./test/core/address.wast:464
assert_return(() => invoke($1, `// ./test/core/address.wast:601

// ./test/core/address.wast:465
assert_return(() => invoke($1, `16s_good2`, [65504]),java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:466
assert_return(() => invoke($1, `16s_good3`, [65504]), [value// ./test/core/address.wast:603

// ./test/core/address.wast:467
assert_return(() => invoke($1, `16s_good4`, 

// ./test/core/address.wast:468
assert_return(() => invoke($1, `16s_good5`, [65504]), [value("i64", 0n)java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:470
assert_return(() => invoke($1, `32u_good1`, [65504// ./test/core/address.wast:607

// ./test/core/address.wast:471
assert_return(() => invoke($1, `32u_good2`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:472
assert_return(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// ./test/core/address.wast:473
assert_return(() => invoke($1, `32u_good4`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:474
assert_return(() => invoke($1, `32u_good5`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:476
assert_return(() => invoke($1, `32s_good1`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:477
assert_return(() => invoke($1, `32s_good2`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:478
assert_return(() => invoke($1, `32s_good3`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:479
assert_return(() => invoke($1, `32s_good4`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:480
assert_return(() => invoke($1, `32s_good5`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:482
assert_return(() => invoke($1, `64_good1`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:483
assert_return(() => invoke($1, `64_good2`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:484
assert_return(() => invoke($1, `64_good3`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:485
assert_return(() => invoke($1, `64_good4`, [65504]), [value("i64", 0n)]);

// ./test/core/address.wast:486
assert_trap(() => invoke($1, `64_good5`, [65504]), `out of bounds memory access`);

// ./test/core/address.wast:488
assert_trap(() => invoke($1, `8u_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:489
assert_trap(() => invoke($1, `8s_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:490
assert_trap(() => invoke($1, `16u_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:491
assert_trap(() => invoke($1, `16s_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:492
assert_trap(() => invoke($1, `32u_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:493
assert_trap(() => invoke($1, `32s_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:494
assert_trap(() => invoke($1, `64_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:496
assert_trap(() => invoke($1, `8u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:497
assert_trap(() => invoke($1, `8s_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:498
assert_trap(() => invoke($1, `16u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:499
assert_trap(() => invoke($1, `16s_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:500
assert_trap(() => invoke($1, `32u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:501
assert_trap(() => invoke($1, `32s_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:502
assert_trap(() => invoke($1, `64_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:504
assert_trap(() => invoke($1, `8u_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:505
assert_trap(() => invoke($1, `8s_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:506
assert_trap(() => invoke($1, `16u_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:507
assert_trap(() => invoke($1, `16s_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:508
assert_trap(() => invoke($1, `32u_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:509
assert_trap(() => invoke($1, `32s_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:510
assert_trap(() => invoke($1, `64_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:514
let $2 = instantiate(`(module
  (memory 1)
  (data (i32.const 0) "\\00\\00\\00\\00\\00\\00\\a0\\7f\\01\\00\\d0\\7f")

  (func (export "32_good1") (param \$i i32) (result f32)
    (f32.load offset=0 (local.get \$i))                   ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good2") (param \$i i32) (result f32)
    (f32.load align=1 (local.get \$i))                    ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good3") (param \$i i32) (result f32)
    (f32.load offset=1 align=1 (local.get \$i))           ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good4") (param \$i i32) (result f32)
    (f32.load offset=2 align=2 (local.get \$i))           ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good5") (param \$i i32) (result f32)
    (f32.load offset=8 align=4 (local.get \$i))           ;; nan:0x500001 '\\01\\00\\d0\\7f'
  )
  (func (export "32_bad") (param \$i i32)
    (drop (f32.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/address.wast:538
assert_return(() => invoke($2, `32_good1`, [0]), [value("f32", 0)]);

// ./test/core/address.wast:539
assert_return(() => invoke($2, `32_good2`, [0]), [value("f32", 0)]);

// ./test/core/address.wast:540
assert_return(() => invoke($2, `32_good3`, [0]), [value("f32", 0)]);

// ./test/core/address.wast:541
assert_return(() => invoke($2, `32_good4`, [0]), [value("f32", 0)]);

// ./test/core/address.wast:542
assert_return(() => invoke($2, `32_good5`, [0]), [bytes("f32", [0x1, 0x0, 0xd0, 0x7f])]);

// ./test/core/address.wast:544
assert_return(() => invoke($2, `32_good1`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:545
assert_return(() => invoke($2, `32_good2`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:546
assert_return(() => invoke($2, `32_good3`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:547
assert_return(() => invoke($2, `32_good4`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:548
assert_return(() => invoke($2, `32_good5`, [65524]), [value("f32", 0)]);

// ./test/core/address.wast:550
assert_return(() => invoke($2, `32_good1`, [65525]), [value("f32", 0)]);

// ./test/core/address.wast:551
assert_return(() => invoke($2, `32_good2`, [65525]), [value("f32", 0)]);

// ./test/core/address.wast:552
assert_return(() => invoke($2, `32_good3`, [65525]), [value("f32", 0)]);

// ./test/core/address.wast:553
assert_return(() => invoke($2, `32_good4`, [65525]), [value("f32", 0)]);

// ./test/core/address.wast:554
assert_trap(() => invoke($2, `32_good5`, [65525]), `out of bounds memory access`);

// ./test/core/address.wast:556
assert_trap(() => invoke($2, `32_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:557
assert_trap(() => invoke($2, `32_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:559
assert_trap(() => invoke($2, `32_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:560
assert_trap(() => invoke($2, `32_bad`, [1]), `out of bounds memory access`);

// ./test/core/address.wast:564
let $3 = instantiate(`(module
  (memory 1)
  (data (i32.const 0) "\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\f4\\7f\\01\\00\\00\\00\\00\\00\\fc\\7f")

  (func (export "64_good1") (param \$i i32) (result f64)
    (f64.load offset=0 (local.get \$i))                     ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good2") (param \$i i32) (result f64)
    (f64.load align=1 (local.get \$i))                      ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good3") (param \$i i32) (result f64)
    (f64.load offset=1 align=1 (local.get \$i))             ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good4") (param \$i i32) (result f64)
    (f64.load offset=2 align=2 (local.get \$i))             ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good5") (param \$i i32) (result f64)
    (f64.load offset=18 align=8 (local.get \$i))            ;; nan:0xc000000000001 '\\01\\00\\00\\00\\00\\00\\fc\\7f'
  )
  (func (export "64_bad") (param \$i i32)
    (drop (f64.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/address.wast:588
assert_return(() => invoke($3, `64_good1`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:589
assert_return(() => invoke($3, `64_good2`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:590
assert_return(() => invoke($3, `64_good3`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:591
assert_return(() => invoke($3, `64_good4`, [0]), [value("f64", 0)]);

// ./test/core/address.wast:592
assert_return(
  () => invoke($3, `64_good5`, [0]),
  [bytes("f64", [0x1, 0x0, 0x0, 0x0, 0x0, 0x0, 0xfc, 0x7f])],
);

// ./test/core/address.wast:594
assert_return(() => invoke($3, `64_good1`, [65510]), [value("f64", 0)]);

// ./test/core/address.wast:595
assert_return(() => invoke($3, `64_good2`, [65510]), [value("f64", 0)]);

// ./test/core/address.wast:596
assert_return(() => invoke($3, `64_good3`, [65510]), [value("f64", 0)]);

// ./test/core/address.wast:597
assert_return(() => invoke($3, `64_good4`, [65510]), [value("f64", 0)]);

// ./test/core/address.wast:598
assert_return(() => invoke($3, `64_good5`, [65510]), [value("f64", 0)]);

// ./test/core/address.wast:600
assert_return(() => invoke($3, `64_good1`, [65511]), [value("f64", 0)]);

// ./test/core/address.wast:601
assert_return(() => invoke($3, `64_good2`, [65511]), [value("f64", 0)]);

// ./test/core/address.wast:602
assert_return(() => invoke($3, `64_good3`, [65511]), [value("f64", 0)]);

// ./test/core/address.wast:603
assert_return(() => invoke($3, `64_good4`, [65511]), [value("f64", 0)]);

// ./test/core/address.wast:604
assert_trap(() => invoke($3, `64_good5`, [65511]), `out of bounds memory access`);

// ./test/core/address.wast:606
assert_trap(() => invoke($3, `64_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:607
assert_trap(() => invoke($3, `64_good3`, [-1]), `out of bounds memory access`);

// ./test/core/address.wast:609
assert_trap(() => invoke($3, `64_bad`, [0]), `out of bounds memory access`);

// ./test/core/address.wast:610
assert_trap(() => invoke($3, `64_bad`, [1]), `out of bounds memory access`);

Messung V0.5 in Prozent
C=83 H=87 G=84

¤ Dauer der Verarbeitung: 0.16 Sekunden  ¤

*© Formatika GbR, Deutschland






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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators


Jenseits des Üblichen ....
    

Besucher

Besucher

Statistik
#Sources=1127926
#Domains=1947682