Eine aufbereitete Darstellung der Quelle

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

Benutzer

Quelle  exemptlist

  Sprache: Python
 

Copyright (C) 2020 The Android Open Source Project
java.lang.NullPointerException
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
java.lang.NullPointerException
#      http://www.apache.org/licenses/LICENSE-2.0
java.lang.NullPointerException
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.

Exclude coverage aggregator and its library dependencies. Otherwise, the
service will attempt to connect to itself, deadlocking the whole system.
src:trusty/user/base/app/coverage/*
src:trusty/kernel/lib/libc-ext/*
src:trusty/user/base/lib/coverage/*
src:trusty/user/base/lib/hwasan/*
src:trusty/user/base/lib/libc-trusty/*
src:trusty/user/base/lib/tipc/*
src:external/trusty/*

# TODO: ipc-unittest makes assumptions about the set of open handles, which
# won't hold true, since instrumented code opens handles for TIPC and shared
# memory.
src:trusty/user/base/lib/unittest/*
src:trusty/kernel/lib/unittest/*

# NB: Be careful not to exclude trusty/user/base/lib/sancov/test/*. We need it
# to be instrumented.

# These fail to link with with clang 18+ with undefined symbol __sancov_gen_.*
# Not sure why. Disable them for now.
fun:*EventListener*
fun:*GetNotDefaultOrNull*

Messung V0.5 in Prozent
C=88 H=86 G=86

¤ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet am  2026-06-26) ¤

*© 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

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik