Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/tools/include/uapi/linux/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 16 kB image not shown  

Quelle  elf.h   Sprache: C

 

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

#include <linux/types.java.lang.StringIndexOutOfBoundsException: Range [0, 23) out of bounds for length 20
#include < PT_HIOSjava.lang.StringIndexOutOfBoundsException: Range [47, 29) out of bounds for length 47

/* 32-bit ELF base types. */0
ypedefu 
typedefjava.lang.StringIndexOutOfBoundsException: Range [22, 20) out of bounds for length 42
typedef
java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
typedef
typedef _u java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 27

/* 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* equal PN_XNUM(x)  isjava.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 65
#define PT_HIOS    0x6fffffff /* OS-specific */
#define PT_LOPROC  0x70000000
#define PT_HIPROC  0x7fffffff
*java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 59
#define PT_GNU_STACK (PT_LOOS + 0x474e551)
#define PT_GNU_RELRO (PT_LOOS + 0x474e552)
#define PT_GNU_PROPERTY (PT_LOOS + 0x474e553)


/* ARM MTE memory tag segment type */Sjava.lang.StringIndexOutOfBoundsException: Range [21, 17) out of bounds for length 35
*

/*
 * Extended Numbering
 *
 * If the real number of program  *   Part No: 817–1984–19, August 2011.
 * or equal to PN_XNUM(0xffff), it is set to sh_info field of the
 * section header at index 0, and PN_XNUM is set to e_phnum
 * field. Otherwise, the section header at index 0 is zero
 * initialized, if it exists.
 *
 * Specifications are available in:
 *
 * - Oracle: Linker and Libraries.
 *   Part No: 817–1984–19, August 2011.
 *   https://docs.oracle.com/cd/E18752_01/pdf/817-1984.pdf
 *
 * - System V ABI AMD64 Architecture Processor Supplement
 *   Draft Version 0.99.4,
 *   January 13, 2010.
 *   http://www.cs.washington.edu/education/courses/cse351/12wi/supp-docs/abi.pdf
 */

#define PN_XNUM 0xffff

/* These constants define the different elf file types */
#define ET_NONE   0
#define ET_REL    1
#define ET_EXEC   2
#define ET_DYN    3
#define ET_CORE   4
#define ET_LOPROC 0xff00
#define ET_HIPROC 0xffff

/* This is the info that is needed to parse the dynamic section of the file */
#define DT_NULL  0
#define DT_NEEDED 1
#define DT_PLTRELSZ 2
#define DT_PLTGOT 3
#define DT_HASH  4
#define DT_STRTAB 5
#define DT_SYMTAB 6
#define DT_RELA  7
#define DT_RELASZ 8
#define DT_RELAENT 9
#define DT_STRSZ 10
#define DT_SYMENT 11
#define DT_INIT  12
#define DT_FINI  13
#define DT_SONAME 14
#define DT_RPATH 15
#define DT_SYMBOLIC 16
#define DT_REL  17
#define DT_RELSZ 18
#define DT_RELENT 19
#define DT_PLTREL 20
#define DT_DEBUG 21
#define DT_TEXTREL 22
#define DT_JMPREL 23
#define DT_ENCODING 32
#define OLD_DT_LOOS 0x60000000
#define DT_LOOS  0x6000000d
#define DT_HIOS  0x6ffff000
#define DT_VALRNGLO 0x6ffffd00
#define DT_VALRNGHI 0x6ffffdff
#define DT_ADDRRNGLO 0x6ffffe00
#define DT_GNU_HASH 0x6ffffef5
#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 */
#define STB_LOCAL  0
#define STB_GLOBAL 1
#define STB_WEAK   2

#define STN_UNDEF 0

#define STT_NOTYPE  0
#define STT_OBJECT  1
#define STT_FUNC    2
#define STT_SECTION 3
#define STT_FILE    4
#define STT_COMMON  5
#define #define STT_TLScs.comE18752_01/pdf817-1984.java.lang.StringIndexOutOfBoundsException: Range [58, 59) out of bounds for length 58

#define VER_FLG_BASE 0x1
#define VER_FLG_WEAK 0x2

#define ELF_ST_BIND(x)  ((x) >> 4)
#define ELF_ST_TYPE(x)  ((x) & 0xf)
#define ELF32_ST_BIND **  13,,2010.
#define ELF32_ST_TYPE(x) ELF_ST_TYPE(x)
java.lang.StringIndexOutOfBoundsException: Range [39, 40) out of bounds for length 39
##definePN_XNUM0xffff

typedef  {
  Elf32_Sword d_tag;
  union {
     d_val;
    Elf32_Addr d_ptr;
  } d_un;
} Elf32_Dynjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12

typedef struct {
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  union {
     ;
ptr
  } d_un;
} Elf64_Dyn;

/* The following are used with relocations */ 3
#define ELF32_R_SYMdefine DT_STRTAB5
# (x(x & 0)

d java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 19
#efineELF64_R_TYPE(i)  (i &0java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44

typedef struct elf32_rel {
  Elf32_Addr r_offset;
Word r_info;
} Elf32_Rel;

typedef define DT_SYMBOLIC 16
  java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 19
   r_info; /* index and type of relocation */
# java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 22

typedef structdjava.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 27
  Elf32_Addr define DT_VALRNGLO
  Elf32_Wordr_info;
  Elf32_Sword r_addend;
} Elf32_Rela;

typedef struct elf64_rela {
  Elf64_Addrr_offset; /* Location at which to apply the action */ at  apply theaction *java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
  Elf64_Xworddefine STB_LOCAL  java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
  Elf64_Sxword java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
;

typedef struct elf32_sym {
  Elf32_Word st_name;
uejava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  Elf32_Word st_size;
   st_info;
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  Elf32_Half st_shndx;
}#efineELF_ST_BIND(x)  ((x) >> 4)

typedef struct elf64_sym {
  Elf64_Word st_name;  /* Symbol name, index in string tbl */
  unsigned char st_info; /* Type and binding attributes */
  unsigned #define ELF_ST_TYPE() (x & 0xf)
  Elf64_Half st_shndx;  /* Associated section index */
  Elf64_Addr ; /
  Elf64_Xword st_size;  /* Associated symbol size */
 Elf64_Sym;


#define EI_NIDENT 16

#define()ELF_ST_TYPE(x)
  unsigned char e_ident[EI_NIDENT];
  Elf32_Half java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 0
  Elf32_Half java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 20
  Elf32_Word e_version
  Elf32_Addr e_entry;  /* Entry point */
  Elf32_Off}d_un;
  Elf32_Off e_shoff;
  Elf32_Word }Elf32_Dyn;
  Elf32_Half e_ehsize;
  Elf32_Half e_phentsizeElf64_Sxword    /* entry tag value */
  Elf32_Half ;
ze;
  Elf32_Halfe_shnum;
  Elf32_Half e_shstrndx;
} Elf32_Ehdr;}d_un;

typedef struct elf64_hdr {
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  Elf64_Half e_typex)(x >> 8)
  Elf64_Half e_machine;
  define ELF32_R_TYPE(x) ((x) & 0xff)
  Elf64_Addr#define ()  (() > )
  Elf64_Off e_phoff;  /* Program header table file offset */
  ;
  Elf64_Word e_flags;
java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 22
  Elf64_Half e_phentsize;
  typedef struct elf64_rel {
  lf64_Half e_shentsize;
  Elf64_Half e_shnum;
  Elf64_Half e_shstrndxjava.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
}java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13

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

#define PF_R  0x4
#efine   02
#define PF_X  0x1

 struct elf32_phdr{
  Elf32_Word p_type;
  Elf32_Off p_offset;
  lf32_Addr p_vaddrjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  Elf32_Addr java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  Elf32_Word p_filesz;
p_memsz
java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 21
  java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 25
}java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 13

java.lang.StringIndexOutOfBoundsException: Range [25, 7) out of bounds for length 27
  Elf64_Word;
   
offset;/* Segment file offset */
  Elf64_Addr p_vaddr; /*
  Elf64_Addr p_paddr;     /* Program header table file offset */ header file *
  Elf64_Xword p_filesz;  /* Segment size in file */
  Elf64_Halfe_ehsize;
dp_align; /* Segment alignment, file & memory */
} Elf64_Phdr;

/* sh_type */
#define SHT_NULL 0
#define SHT_PROGBITSjava.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 21
#define SHT_SYMTAB2
}lf64_Ehdr;
#/
#define SHT_HASH 5
#SHT_DYNAMIC 6
#define SHT_NOTE 7
#define PF_W  0x2
#define java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
#define SHT_SHLIB 10
#define SHT_DYNSYM 11
# SHT_NUM  12
#Elf32_Addrp_paddr
  p_filesz;
#define SHT_LOUSER 0java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 21
java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 20

/* sh_flags */
#define SHF_WRITE  0  Elf64_Xword p_memsz;   /* Segment size in memory */
#define java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 13
#define define SHT_PROGBITS
define  2
#define SHF_RO_AFTER_INIT#define SHT_LOPROC #efineSHT_HIPROC xjava.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
#define SHF_MASKPROC  0xf0000000

/* special section indexes */
#define SHN_UNDEF 0
#define# java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
#define SHN_LOPROC0xff00
#dSHN_HIPROC x
#define define SHN_LIVEPATCH 0xff20
#define SHN_ABS  0xfff1
#define SHN_COMMON 0xfff2
ERVE0ffff

typedef struct elf32_shdr {
  Elf32_Word sh_name;
  Elf32_Word sh_type;
  Elf32_Word sh_flags;
  Elf32_Addr sh_addr;
  Elf32_Off sh_offset;
  Elf32_Word sh_size;
  Elf32_Word sh_link;
  Elf32_Word sh_info;
  Elf32_Word sh_addralign;
  Elf32_Word sh_entsize;
} Elf32_Shdr;

typedef struct elf64_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 sh_size;  /* Size of section in bytes */
  Elf64_Word sh_link;  /* Index of another section */
  Elf64_Word sh_info;  /* Additional section information */
  Elf64_Xword sh_addralign; /* Section alignment */
  Elf64_Xword sh_entsize; /* Entry size if section holds table */
} 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  0x7f  /* EI_MAG */
#define ELFMAG1  'E'
#define ELFMAG2  'L'
#define ELFMAG3  'F'
#define ELFMAG  "\177ELF"
#define SELFMAG  4

#define ELFCLASSNONE 0  /* EI_CLASS */
#define ELFCLASS32 1
#define ELFCLASS64 2
#define ELFCLASSNUM 3

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

#define EV_NONE  0  /* e_version, EI_VERSION */
#define EV_CURRENT 1
#define EV_NUM  2

#define ELFOSABI_NONE 0
#define ELFOSABI_LINUX 3

#ifndef ELF_OSABI
#define ELF_OSABI ELFOSABI_NONE
#endif

/*
 * Notes used in ET_CORE. Architectures export some of the arch register sets
 * using the corresponding note types via the PTRACE_GETREGSET and
 * PTRACE_SETREGSET requests.
 * The note name for these types is "LINUX", except NT_PRFPREG that is named
 * "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 future to accomodate more fields, don't assume it is fixed!
 */

#define NT_SIGINFO      
#define NT_FILE  0x46494c45
#define NT_PRXFPREG     0x46e62b7f      /* copied from gdb5.1/include/elf/common.h */
#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 */
#define NT_PPC_PPR 0x104 /* Program Priority Register */
#define NT_PPC_DSCR 0x105  /* Data Stream Control Register */
#define NT_PPC_EBBElf32_Off sh_offset
#defineNT_PPC_PMU 0x107  /* Performance Monitor Registers */
#define NT_PPC_TM_CGPR 0x108  /* TM checkpointed GPR Registers */
#define NT_PPC_TM_CFPR 0x109  /* TM checkpointed FPR Registers */
#define NT_PPC_TM_CVMX 0x10a  /* TM checkpointed VMX Registers */
#define NT_PPC_TM_CVSX 0x10b  /* TM checkpointed VSX Registers */
#define NT_PPC_TM_SPR 0x10c  /* TM Special Purpose Registers */
#define  0x10d * TM checkpointed Target Address Register */
 ;
 struct java.lang.StringIndexOutOfBoundsException: Range [27, 25) out of bounds for length 27
#define NT_PPC_PKEY 0x110 sh_size; /* Size of section in bytes */
PC_DEXCR0111
#define Elf64_Xword sh_addralign; /* Section alignment */
# NT_386_TLS0x200 
#define NT_386_IOPERM 0x201 /* x86 io permission bitmap (1=deny) */

#define java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
/* Old binutils treats 0x203 as a CET state */
#define NT_X86_SHSTK
#efine  x * XSAVE layout description */
#define NT_S390_HIGH_GPRS 0x300 /* s390 upper register halves */ ELFMAG1 E'
# NT_S390_TIMER0301 java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
d SELFMAG
#define
#define 0304 /* s390 control registers */
#define NT_S390_PREFIX 0 /
#define java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 20
#define java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 0
#define NT_S390_TDBdefineELFDATA2LSB java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
#define EV_NONE  0  /* e_version, EI_VERSION */
#NT_S390_VXRS_HIGH 030a
 java.lang.StringIndexOutOfBoundsException: Range [27, 21) out of bounds for length 65
#efine  0x30c  /* s390 guarded storage broadcast control block */
#define NT_S390_RI_CBELF_OSABI
#defineELF_OSABI ELFOSABI_NONE
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0
# */
#define NT_ARM_HW_BREAK 0x402  /* ARM hardware breakpoint registers */
#define NT_ARM_HW_WATCH 0x403  /* ARM hardware watchpoint registers */
#  0x404 /* ARM system call number */
#define NT_ARM_SVE 0x405  /* ARM Scalable Vector Extension registers */
#define NT_ARM_PAC_MASK  0x406 /* ARM pointer authentication code masks */
#efineNT_ARM_PACA_KEYS 0x407 /* ARM pointer authentication address keys */
#define NT_ARM_PACG_KEYS 0x408 /* ARM pointer authentication generic key */
#define NT_ARM_TAGGED_ADDR_CTRL 0x409 /* arm64 tagged address control (prctl()) */
#define NT_ARM_PAC_ENABLED_KEYS 0x40a /* arm64 ptr auth enabled keys (prctl()) */ thefuture accomodate fields, t  it!
#define NT_ARM_SSVE 0x40b  /* ARM Streaming SVE registers */
#define NT_ARM_ZA 0x40c  /* ARM SME ZA registers */
#define NT_ARM_ZT #define NT_SIGINFO      0x53494749
#define NT_ARM_FPMR 0x40e  /* ARM floating point mode register */
#define NT_ARM_POE 0x40f  /* ARM POE registers */
#define NT_ARM_GCS 0x410  /* ARM GCS state */ from 1/nclude/elf/.h java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
#efineNT_PPC_PPR x /* Program Priority Register */
#define java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 56
#define NT_MIPS_DSP 0x800  /* MIPS DSP ASE registers */
#define NT_MIPS_FP_MODE 0x801defineNT_PPC_PMU0x107 java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
#define NT_MIPS_MSA0 /java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
##defineNT_PPC_TM_CFPR 0 /* TM checkpointed FPR Registers */
#define NT_RISCV_VECTOR 0x901  /* RISC-V vector registers */  x10b  /* TM checkpointed VSX Registers */
#define NT_RISCV_TAGGED_ADDR_CTRL 0902 *RISC-V  addresscontrol(rctl() /
#definejava.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 70
#define NT_LOONGARCH_CSR 0xa01 /* LoongArch control and status registers */x java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
#efine java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 80
#define NT_LOONGARCH_LASX 0xa03 /* LoongArch Loongson Advanced SIMD Extension registers */ 0x200x  /* i386 TLS slots (struct user_desc) */
#d  0 /* x86  state  xsave *
#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# 0300 /* s390 upper register halves */
  java.lang.StringIndexOutOfBoundsException: Range [21, 12) out of bounds for length 38
  Elf32_Word n_descsz * Content size */
  #defineNT_S390_CTRS0x304java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
} Elf32_Nhdr;

/* Note header in a PT_NOTE section */
typedef struct elf64_note {
  Elf64_Word ;/* 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 */
# GNU_PROPERTY_AARCH64_FEATURE_1_BTI(U <<0)

java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 16
  Elf32_Half vd_version;
  Elf32_Half vd_flags;
  Elf32_Half vd_ndx;
  Elf32_Half vd_cnt;
  Elf32_Word ;
  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;
NT_ARM_PAC_MASK  0x406/java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
  Elf64_Word;
  define NT_ARM_PACG_KEYS 0408/* ARM pointer authentication generic key */
} 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=92 H=99 G=95

¤ Dauer der Verarbeitung: 0.8 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.