~ubuntu-branches/ubuntu/vivid/clamav/vivid

« back to all changes in this revision

Viewing changes to libclamav/c++/llvm/include/llvm/Analysis/Verifier.h

  • Committer: Package Import Robot
  • Author(s): Scott Kitterman, Sebastian Andrzej Siewior, Andreas Cadhalpun, Scott Kitterman, Javier Fernández-Sanguino
  • Date: 2015-01-28 00:25:13 UTC
  • mfrom: (0.48.14 sid)
  • Revision ID: package-import@ubuntu.com-20150128002513-lil2oi74cooy4lzr
Tags: 0.98.6+dfsg-1
[ Sebastian Andrzej Siewior ]
* update "fix-ssize_t-size_t-off_t-printf-modifier", include of misc.h was
  missing but was pulled in via the systemd patch.
* Don't leak return codes from libmspack to clamav API. (Closes: #774686).

[ Andreas Cadhalpun ]
* Add patch to avoid emitting incremental progress messages when not
  outputting to a terminal. (Closes: #767350)
* Update lintian-overrides for unused-file-paragraph-in-dep5-copyright.
* clamav-base.postinst: always chown /var/log/clamav and /var/lib/clamav
  to clamav:clamav, not only on fresh installations. (Closes: #775400)
* Adapt the clamav-daemon and clamav-freshclam logrotate scripts,
  so that they correctly work under systemd.
* Move the PidFile variable from the clamd/freshclam configuration files
  to the init scripts. This makes the init scripts more robust against
  misconfiguration and avoids error messages with systemd. (Closes: #767353)
* debian/copyright: drop files from Files-Excluded only present in github
  tarballs
* Drop Workaround-a-bug-in-libc-on-Hurd.patch, because hurd got fixed.
  (see #752237)
* debian/rules: Remove useless --with-system-tommath --without-included-ltdl
  configure options.

[ Scott Kitterman ]
* Stop stripping llvm when repacking the tarball as the system llvm on some
  releases is too old to use
* New upstream bugfix release
  - Library shared object revisions.
  - Includes a patch from Sebastian Andrzej Siewior making ClamAV pid files
    compatible with systemd.
  - Fix a heap out of bounds condition with crafted Yoda's crypter files.
    This issue was discovered by Felix Groebert of the Google Security Team.
  - Fix a heap out of bounds condition with crafted mew packer files. This
    issue was discovered by Felix Groebert of the Google Security Team.
  - Fix a heap out of bounds condition with crafted upx packer files. This
    issue was discovered by Kevin Szkudlapski of Quarkslab.
  - Fix a heap out of bounds condition with crafted upack packer files. This
    issue was discovered by Sebastian Andrzej Siewior. CVE-2014-9328.
  - Compensate a crash due to incorrect compiler optimization when handling
    crafted petite packer files. This issue was discovered by Sebastian
    Andrzej Siewior.
* Update lintian override for embedded zlib to match new so version

[ Javier Fernández-Sanguino ]
* Updated Spanish Debconf template translation (Closes: #773563)

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
//===-- llvm/Analysis/Verifier.h - LLVM IR Verifier -------------*- C++ -*-===//
 
2
//
 
3
//                     The LLVM Compiler Infrastructure
 
4
//
 
5
// This file is distributed under the University of Illinois Open Source
 
6
// License. See LICENSE.TXT for details.
 
7
//
 
8
//===----------------------------------------------------------------------===//
 
9
//
 
10
// This file defines the function verifier interface, that can be used for some
 
11
// sanity checking of input to the system, and for checking that transformations
 
12
// haven't done something bad.
 
13
//
 
14
// Note that this does not provide full 'java style' security and verifications,
 
15
// instead it just tries to ensure that code is well formed.
 
16
//
 
17
// To see what specifically is checked, look at the top of Verifier.cpp
 
18
//
 
19
//===----------------------------------------------------------------------===//
 
20
 
 
21
#ifndef LLVM_ANALYSIS_VERIFIER_H
 
22
#define LLVM_ANALYSIS_VERIFIER_H
 
23
 
 
24
#include <string>
 
25
 
 
26
namespace llvm {
 
27
 
 
28
class FunctionPass;
 
29
class Module;
 
30
class Function;
 
31
 
 
32
/// @brief An enumeration to specify the action to be taken if errors found.
 
33
///
 
34
/// This enumeration is used in the functions below to indicate what should
 
35
/// happen if the verifier finds errors. Each of the functions that uses
 
36
/// this enumeration as an argument provides a default value for it. The
 
37
/// actions are listed below.
 
38
enum VerifierFailureAction {
 
39
  AbortProcessAction,   ///< verifyModule will print to stderr and abort()
 
40
  PrintMessageAction,   ///< verifyModule will print to stderr and return true
 
41
  ReturnStatusAction    ///< verifyModule will just return true
 
42
};
 
43
 
 
44
/// @brief Create a verifier pass.
 
45
///
 
46
/// Check a module or function for validity.  When the pass is used, the
 
47
/// action indicated by the \p action argument will be used if errors are
 
48
/// found.
 
49
FunctionPass *createVerifierPass(
 
50
  VerifierFailureAction action = AbortProcessAction ///< Action to take
 
51
);
 
52
 
 
53
/// @brief Check a module for errors.
 
54
///
 
55
/// If there are no errors, the function returns false. If an error is found,
 
56
/// the action taken depends on the \p action parameter.
 
57
/// This should only be used for debugging, because it plays games with
 
58
/// PassManagers and stuff.
 
59
 
 
60
bool verifyModule(
 
61
  const Module &M,  ///< The module to be verified
 
62
  VerifierFailureAction action = AbortProcessAction, ///< Action to take
 
63
  std::string *ErrorInfo = 0      ///< Information about failures.
 
64
);
 
65
 
 
66
// verifyFunction - Check a function for errors, useful for use when debugging a
 
67
// pass.
 
68
bool verifyFunction(
 
69
  const Function &F,  ///< The function to be verified
 
70
  VerifierFailureAction action = AbortProcessAction ///< Action to take
 
71
);
 
72
 
 
73
} // End llvm namespace
 
74
 
 
75
#endif