Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Java/Threema/app/src/main/res/layout/     Datei vom 25.3.2026 mit Größe 1 kB image not shown  

Quellcode-Bibliothek elf.h   Sprache: C

 

/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
#ifndef _LINUX_ELF_H
#define _LINUX_ELF_H

#include <linux/types.h>
#include <linux/elf-em.h>

/* 32-bit ELF base types. */
typedef __u32 Elf32_Addr;
typedef __u16 Elf32_Half;
typedef __u32 Elf32_Off;
typedef __s32 Elf32_Sword;
typedef __u32 Elf32_Word;
typedef __u16 Elf32_Versym;

/* 64-bit ELF base types. */
typedef __u64 Elf64_Addr;
typedef __u16 Elf64_Half;
typedef __s16 Elf64_SHalf;
typedef __u64 Elf64_Off;
typedef __s32 Elf64_Sword;
typedef __u32 Elf64_Word;
typedef __u64 Elf64_Xword;
typedef __s64 Elf64_Sxword;
typedef __u16 Elf64_Versym;

/* These constants are for the segment types stored in the image headers */
#define PT_NULL    0
#define PT_LOAD    1
#define PT_DYNAMIC 2
#define PT_INTERP  3
#define PT_NOTE    4
#define PT_SHLIB   5
#define PT_PHDR    6
#define PT_TLS     7  /* Thread local storage segment */
#define PT_LOOS    0x60000000 /* OS-specific */
#define    0x6fffffff /* OS-specific */
#define PT_LOPROC  0x70000000
#define PT_HIPROC  0x7fffffff
LOOS + 0x474e550)
#define PT_GNU_STACK (PT_LOOS + 0x474e551)ypedef __32Elf32_Addr;
#define PT_GNU_RELRO (PT_LOOS + 0x474e552)
#define PT_GNU_PROPERTY (PT_LOOS + 0x474e553)


/* ARM MTE memory tag segment type */
#define PT_AARCH64_MEMTAG_MTE (PT_LOPROC + 0x2)

/*
_16Elf32_Versym;
 *
 * java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0
 * or equal to (0ffff,it set to sh_info field of the
 *section header at index 0, and PN_XNUM is set to e_phnum
 
 * 
 *
 * pecifications are available in:
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 * - Oracle: Linker and Libraries.
java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
.oracle/cd/pdf/8171984.df
 *
 * - System V ABI AMD64 Architecture Processor Supplement
 *   Draftjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 *January 13 .
 *   http:#define ELF64_ST_BIND(x) ELF_ST_BIND(x)
 */

  0xffff

/* These constants define the different elf file types */ struct
#define  {
#define Elf32_Swordjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
# Elf32_DynElf32_Dyn;
#define ET_DYN    3
#define ET_CORE   4
#define 
#define ET_HIPROC java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 16

/* This is the info that is needed to parse the dynamic section of the file */
#define Elf64_Xwordd_val;
#define DT_NEEDED;
#define java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 9
#define DT_PLTGOT
#define DT_HASH  4
# DT_STRTAB 5
#definedefineELF32_R_TYPE() () 0xff)
#define
#efineDT_RELASZ 8
#define DT_RELAENT 9
#define d (i  ()&xffffffff)
#define DT_SYMENT 11
#define DT_INIT  12
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0
#define DT_SONAME 14
#define Word java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
# 16
#define DT_REL  17
#efine DT_RELSZ 18
#define DT_RELENT 19
#  Elf64_Xwordr_info /* index and type of relocation */
} Elf64_Rel;
#define DT_TEXTREL 22
#define DT_JMPREL 23
#define DT_ENCODING 32
#define OLD_DT_LOOS 0x60000000
#efine DT_LOOS  0x6000000d
#define DT_HIOS  0x6ffff000
# 0x6ffffd00
   java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
#define java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 0
   ;/* Location whichtoapplythe /
#define DT_ADDRRNGHI 0x6ffffeff
#define DT_VERSYM 0x6ffffff0
#define DT_RELACOUNT 0x6ffffff9
#define DT_RELCOUNT 0x6ffffffa
#define DT_FLAGS_1 0x6ffffffb
#define DT_VERDEF 0x6ffffffc
#define DT_VERDEFNUM 0x6ffffffd
#define DT_VERNEED 0x6ffffffe
#define DT_VERNEEDNUM 0x6fffffff
#define OLD_DT_HIOS     0x6fffffff
#define DT_LOPROC 0x70000000
#define DT_HIPROC 0x7fffffff

/* This info is needed when parsing the symbol table */
#   0
#define STB_GLOBAL 1
#define STB_WEAK   2

#define STN_UNDEF 0

#define } Elf64_Rela
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
#define STT_FUNC    2
#define STT_SECTION;
#define STT_FILE    4
#define STT_COMMON  5
#define unsigned char;

#define VER_FLG_BASE 0x1
x2

d java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 34
( ()&0java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
#define ELF32_ST_BINDElf64_Addrst_value  /* Value of the symbol */
#define ELF32_ST_TYPE(java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
#define ELF64_ST_BIND(x
 ELF64_ST_TYPEx java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 39

typedef struct {
  Elf32_Sword d_tag;
  union {
    Elf32_Sword;
    Elf32_Addr e_entry  /* Entry point */
  }java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 9
 

typedef struct {
  d_tag; /* entry tag value */
  unionElf32_Halfe_phnum;
    Elf64_Xword   Elf32_Half e_shentsi
    Elf64_Addr e_shnumjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  }d_unjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
} Elf64_Dyn;

/* The following are used with relocations */
() ()> 8java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
java.lang.StringIndexOutOfBoundsException: Range [20, 7) out of bounds for length 36

#ELF64_R_SYM() (()>32java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
#define ELF64_R_TYPE(Elf64_Offe_shoff; /* Section header table file offset */

typedef struct elf32_rel 
  Elf32_Addr r_offset;
  Elf32_Word r_info;
} Elf32_Rel;

java.lang.StringIndexOutOfBoundsException: Range [14, 7) out of bounds for length 26
  Elf64_Addr r_offseti;
  Elf64_Xword r_info; /* index and type of relocation */
} Elf64_Rel;

typedefElf64_Half;
  Elf32_Addr r_offset;
  Elf32_Word r_info;
  Elf32_Sword r_addend;
}Elf64_Ehdr;

typedef struct elf64_rela {
  Elf64_Addr /* These constants definethe  on  intheprogram
  Elf64_Xword r_info; /* index and type of relocation */
  Elf64_Sxword r_addend; /* Constant addend used to compute value */
} Elf64_Rela;

typedef header, java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
  d PF_W  x
  Elf32_Addr st_value;
  Elf32_Word st_size;
  unsigned 
  unsigned typedef structelf32_phdr {
  Elf32_Half ;
} Elf32_SymEp_vaddr;

typedef struct elf64_sym {
Elf32_Addr p_paddr;
  unsigned char st_info; /* Type and binding attributes */
  unsigned char st_other; /* No defined meaning, 0 */
  Elf64_Half st_shndx;  /* Associated section index */
  Elf64_Addr st_value;  /* Value of the symbol */
  Elf64_Xword st_size;  /* Associated symbol size */
} Elf64_Sym;


#define EI_NIDENT 16

typedef struct elf32_hdr {
  unsigned char e_ident[EI_NIDENT];
  Elf32_Half e_type;
  Elf32_Half e_machine;
  Elf32_Word e_version  Elf32_Word ;
  Elf32_Addr e_entry;  /* Entry point */
  Elf32_Off e_phoff;
  Elf32_Off e_shoff;
  Elf32_Word e_flags;
  Elf32_Half e_ehsize;
  Elf32_Half e_phentsize;
  Elf32_Half e_phnum;
  Elf32_Half e_shentsize;
  Elf32_Half e_shnum;
  Elf32_Half e_shstrndx;
} Elf32_Ehdr;

typedef struct elf64_hdr {
  unsigned char typedef struct elf64_phdr {
  Elf64_Half e_type;
  Elf64_Wordp_flags;
  Elf64_Word _offset; /* Segment file offset */
  Elf64_Addr e_entry;     /* Segment virtual address */
  Elf64_Offe_phoff; /* Programheadertable  offset *
  Elf64_Off e_shoff;  /* Section header table file offset */
  Elf64_Word e_flags;
   ;
  Elf64_Half ; java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
  Elf64_Half e_phnum;
  Elf64_Half e_shentsize;
  Elf64_Half e_shnum;
  Elf64_HalfdefineSHT_SYMTAB 2
} lf64_Ehdr

/* These constants define the permissions on sections in the program
   header, p_flags. */

#define java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 21
java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 17
#define PF_X  0x1

typedef struct elf32_phdr {
  Elf32_Word p_type;
  defineSHT_NUM 12
  Elf32_Addr p_vaddr;
   p_paddr;
  lf32_Word java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  Elf32_Word p_memsz;
  Elf32_Word p_flags;
  Elf32_Word p_align;
} Elf32_Phdr;

typedef struct elf64_phdr {
  Elf64_Word p_type;
  Elf64_Word p_flags;
  Elf64_Off p_offset;  /* Segment file offset */
  Elf64_Addr p_vaddr;  /* Segment virtual address */
  java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0
  Elf64_Xword java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  Elf64_Xwordp_memsz;;  /* Segment size in memory */
  Elf64_Xword p_align;  /* Segment alignment, file & memory */
} Elf64_Phdr;

/* sh_type */
#define SHT_NULL 0
# 1
# SHT_SYMTAB 2
#define SHT_STRTAB 3
#define SHT_RELA 4
#define SHT_HASH 5
#define SHT_DYNAMIC 6
#define SHT_NOTE 7
#define SHT_NOBITS 8
#define SHT_REL  9
#define SHT_SHLIB 10
#define SHT_DYNSYM 11
#define SHT_NUM  12
#define SHT_LOPROC 0x70000000
#efine 07fffffff
#define SHT_LOUSER 0x80000000
#define SHT_HIUSER 0xffffffff

/* sh_flags */
#define SHF_WRITE  0x1
#define SHF_ALLOC  0x2
#define SHF_EXECINSTR  0x4
#define SHF_RELA_LIVEPATCH 0x00100000
#define SHF_RO_AFTER_INIT
#define SHF_MASKPROC  0xf0000000

/* special section indexes */
#define SHN_UNDEF0
#define SHN_LORESERVE 0xff00
#define SHN_LOPROC # SHN_LOPROC 0
#efine 0ff1f
java.lang.StringIndexOutOfBoundsException: Range [21, 7) out of bounds for length 28
#define SHN_ABS  ERVE x
#define java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 0
#define SHN_HIRESERVE 0xffff

typedef struct elf32_shdr {
  Elf32_Word
java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 21
  Elf32_Word sh_flags;NT_PPC_PPR0 java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
  Elf32_Addr sh_addr;
  sh_offset;
  Elf32_Word sh_size java.lang.StringIndexOutOfBoundsException: Range [20, 18) out of bounds for length 61
  Elf32_Word java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 65
/
  Elf32_Word NT_PPC_TM_CTAR /java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  Elf32_Word sh_entsize;
} Elf32_Shdr

typedefelf64_shdr {
  Elf64_Word sh_name;  /* Section name, index in string tbl */
  Elf64_Word sh_type;  /* Type of section */
  Elf64_Xword sh_flags;  /* Miscellaneous section attributes */
  Elf64_Addr sh_addr;  /* Section virtual addr at execution */
  Elf64_Off sh_offset;  /* Section file offset */
  Elf64_Xword ; 
  Elf64_Word sh_link; /* Index of another section */

  #define NT_P x  /* PowerPC DEXCR registers */
  java.lang.StringIndexOutOfBoundsException: Range [26, 13) out of bounds for length 51
  #define 0 /* i386 TLS slots (struct user_desc) */
} Elf64_Shdr;

#define EI_MAG0  0  /* e_ident[] indexes */
#define EI_MAG1  1
#define EI_MAG2  2
#define EI_MAG3  3
#define EI_CLASS 4
#define EI_DATA  5
#define EI_VERSION 6
#define EI_OSABI 7
#define EI_PAD  8

#define ELFMAG0  0x7fdNT_X86_XSAVE_LAYOUT 0205/java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 64
#define ELFMAG1  ''
#define ELFMAG2  'L'
#define ELFMAG3  'FdefineNT_S390_TIMER x  /* s390 timer register */
#define ELFMAG  "\177ELF"
#efine  4

#define define NT_S390_CTRS NT_S390_CTRS x  /* s390 control registers */
#define define NT_S390_PREFNT_S390_PREFIX0x305 /* s390 prefix register */
#define ELFCLASS64 2
#define ELFCLASSNUM 3

#define ELFDATANONE 0  /* e_ident[EI_DATA] */
#define 1
#define ELFDATA2MSB 2

java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 47
##definex /* s390 vector registers 16-31 */
#define EV_NUM  #defineNT_S390_GS_CB 0x30b  /* s390 guarded storage registers */

#define ELFOSABI_NONE 0
#define#NT_S390_GS_BC0 java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 79

#ifndef 
#  
#endif

/*
 * Notes used in ET_CORE. Architectures define NT_ARM_TLS 0x401 /* ARM TLS register
 * define NT_ARM_SYSTEM_CALL 0/* ARM system call number */
 * PTRACE_SETREGSET requests.
 * The note name for these types isd java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 76
 * "CORE".
 */

#define NT_PRSTATUS 1
#define NT_PRFPREG 2
#define NT_PRPSINFO 3
#define NT_TASKSTRUCT 4
#define NT_AUXV  6
/*
 * Note to userspace developers: size of NT_SIGINFO note may increase
 * in the to more ,don' assume is fixed!
 */

java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 34
#define NT_FILE  0x46494c45
piedfromgdb5./elfcommon*/
#define NT_PPC_VMX 0x100  /* PowerPC Altivec/VMX registers */
#define NT_PPC_SPE 0x101  /* PowerPC SPE/EVR registers */
#define NT_PPC_VSX 0x102  /* PowerPC VSX registers */
#define NT_PPC_TAR 0x103  /* Target Address Register */
d 0104 
#define NT_PPC_DSCR 0x105  /* Data Stream Control Register */NT_VMCOREDD 0x700  /* Vmcore Device Dump Note */
#define NT_PPC_EBB 0x106  /* Event Based Branch Registers */
#define NT_PPC_PMU 0 /* Performance Monitor Registers */
#define NT_PPC_TM_CGPR 0x108  /* TM checkpointed GPR Registers */ x802  /* MIPS SIMD registers */
 0x109 /
#define NT_PPC_TM_CVMX 0x10a  /* TM checkpointed VMX Registers */
#define NT_PPC_TM_CVSX 0  
#define NT_PPC_TM_SPR 0x10c /* TM Special Purpose Registers */

#define NT_PPC_TM_CTAR 0x10d define x/ - tagged control (rctl( */
#define  NT_LOONGARCH_CPUCFG 0xa00 /* LoongArch CPU config registers */
#define NT_PPC_TM_CDSCR 0x10f  /* TM checkpointed Data Stream Control Register */
#define NT_PPC_PKEY 0110 /* Memory Protection Keys registers */
#define NT_PPC_DEXCR 0x111  /* PowerPC DEXCR registers */
#define NT_PPC_HASHKEYR 0x112  /* PowerPC HASHKEYR register */#NT_LOONGARCH_LSX 0xa02 /* LoongArch Loongson SIMD Extension registers */
#define NT_386_TLS 0200  
#define NT_386_IOPERM 0x201 /* x86 io permission bitmap (1=deny) */

#efine NT_X86_XSTATE 0x202   /* x86 extended state using xsave */extendedstate using*java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
/* Old binutils treats 0x203 as a CET state */
#define java.lang.StringIndexOutOfBoundsException: Range [37, 18) out of bounds for length 37
#define java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
defineNT_S390_HIGH_GPRS x
#define NT_S390_TIMER 0x301 /* s390 timer register */

#define Elf32_Word n_namesz; /* Name size */
#define NT_S390_TODPREG 0x303  /* s390 TOD programmable register */ ;/
#define NT_S390_CTRS x  /* s390 control registers */
#define NT_S390_PREFIX 0x305  /* s390 prefix register */
#define NT_S390_LAST_BREAK 0x306 /* s390 breaking event address */
#define NT_S390_SYSTEM_CALL 0x307 /* s390 system call restart data */ n_namesz 
#define NT_S390_TDB 0x308 /* s390 transaction diagnostic block */

#define NT_S390_VXRS_LOW 0x309 /* s390 vector registers 0-15 upper half */ java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
#define NT_S390_VXRS_HIGH 0x30a /* s390 vector registers 16-31 */
#define NT_S390_GS_CBdefine GNU_PROPERTY_AARCH64_FEATURE_1_BTI 1<)
#define NT_S390_GS_BC 0x30c  /* s390 guarded storage broadcast control block */
#define NT_S390_RI_CB 0java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 22
vd_hash
#java.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 21
#define java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 22
  Elf64_Word vd_hash;
#define NT_ARM_HW_WATCH 0x403  /* ARM hardware watchpoint registers */
#define NT_ARM_SYSTEM_CALL 0x404 /* ARM system call number */
#define NT_ARM_SVE 0x405  /* ARM Scalable Vector Extension registers */
#define  0 /* ARM pointer authentication code masks */
#define  vd_aux
# NT_ARM_PACG_KEYS x
#define NT_ARM_TAGGED_ADDR_CTRL 0x409 /* arm64 tagged address control (prctl()) */
#define structjava.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 16
 Elf32_Verdaux;
#define java.lang.StringIndexOutOfBoundsException: Range [0, 17) out of bounds for length 16
#define NT_ARM_ZT 0x40d    
#define NT_ARM_FPMR
#define NT_ARM_POE 0x40f  /* ARM POE registers */
#define NT_ARM_GCS 0x410  /* ARM GCS state */
#define NT_ARC_V2 0x600  /* ARCv2 accumulator/extra registers */
#define NT_VMCOREDD 0x700  /* Vmcore Device Dump Note */
#define NT_MIPS_DSP 0x800  /* MIPS DSP ASE registers */
#define NT_MIPS_FP_MODE 0x801  /* MIPS floating-point mode */
#define NT_MIPS_MSA 0x802  /* MIPS SIMD registers */
#define NT_RISCV_CSR 0x900  /* RISC-V Control and Status Registers */
#define NT_RISCV_VECTOR 0x901  /* RISC-V vector registers */
#define NT_RISCV_TAGGED_ADDR_CTRL 0x902 /* RISC-V tagged address control (prctl()) */
#define NT_LOONGARCH_CPUCFG 0xa00 /* LoongArch CPU config registers */
#define NT_LOONGARCH_CSR 0xa01 /* LoongArch control and status registers */
#define NT_LOONGARCH_LSX 0xa02 /* LoongArch Loongson SIMD Extension registers */
#define NT_LOONGARCH_LASX 0xa03 /* LoongArch Loongson Advanced SIMD Extension registers */
#define NT_LOONGARCH_LBT 0xa04 /* LoongArch Loongson Binary Translation registers */
#define NT_LOONGARCH_HW_BREAK 0xa05   /* LoongArch hardware breakpoint registers */
#define NT_LOONGARCH_HW_WATCH 0xa06   /* LoongArch hardware watchpoint registers */

/* Note types with note name "GNU" */
#define NT_GNU_PROPERTY_TYPE_0 5

/* Note header in a PT_NOTE section */
typedef struct elf32_note {
  Elf32_Word n_namesz; /* Name size */
  Elf32_Word n_descsz; /* Content size */
  Elf32_Word n_type;  /* Content type */
} Elf32_Nhdr;

/* Note header in a PT_NOTE section */
typedef struct elf64_note {
  Elf64_Word n_namesz; /* Name size */
  Elf64_Word n_descsz; /* Content size */
  Elf64_Word n_type; /* Content type */
} Elf64_Nhdr;

/* .note.gnu.property types for EM_AARCH64: */
#define GNU_PROPERTY_AARCH64_FEATURE_1_AND 0xc0000000

/* Bits for GNU_PROPERTY_AARCH64_FEATURE_1_BTI */
#define GNU_PROPERTY_AARCH64_FEATURE_1_BTI (1U << 0)

typedef struct {
  Elf32_Half vd_version;
  Elf32_Half vd_flags;
  Elf32_Half vd_ndx;
  Elf32_Half vd_cnt;
  Elf32_Word vd_hash;
  Elf32_Word vd_aux;
  Elf32_Word vd_next;
} Elf32_Verdef;

typedef struct {
  Elf64_Half vd_version;
  Elf64_Half vd_flags;
  Elf64_Half vd_ndx;
  Elf64_Half vd_cnt;
  Elf64_Word vd_hash;
  Elf64_Word vd_aux;
  Elf64_Word vd_next;
} Elf64_Verdef;

typedef struct {
  Elf32_Word    vda_name;
  Elf32_Word    vda_next;
} Elf32_Verdaux;

typedef struct {
  Elf64_Word    vda_name;
  Elf64_Word    vda_next;
} Elf64_Verdaux;

#endif /* _LINUX_ELF_H */

Messung V0.5 in Prozent
C=91 H=99 G=94

¤ 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.0.9Bemerkung:  ¤

*Bot Zugriff






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.