公开(公告)号：EP3123315B1

公开(公告)日：2018-11-14

申请号：EP15715059.0

申请日：2015-03-24

申请人： Microsoft Technology Licensing, LLC

发明人： HAMBY, John Lawrence ,  WRIGHTON, David Charles ,  STREHOVSKY, Michal ,  BROWN, Morgan Asher ,  HANNA, Fadi ,  ISIK, Turgut ,  TROFIN, Mircea ,  GOKBULUT, Fatma Didem ,  FU, Robert Yung-Yi

IPC分类号： G06F8/41 ,  G06F9/455

CPC分类号： G06F8/423 ,  G06F9/45504

摘要： Support for dynamic behavior is provided during static compilation while reducing reliance on JIT compilation and large runtimes. A mapping is created between metadata and native code runtime artifacts, such as between type definition metadata and a runtime type description, or between method definition metadata, a runtime type description, and a native code method location, or field definition metadata, a runtime type description, and a field location. A mapping between runtime artifacts may also be created. Some compilation results include trampoline code to support a reflection invocation of an artifact in the reduced runtime support environment, for virtual method calls, call-time bounds checking, calling convention conversion, or compiler-intrinsic methods. Some results support runtime diagnostics by including certain metadata even when full dynamic behavior is not supported.

公开(公告)号：EP3195120A1

公开(公告)日：2017-07-26

申请号：EP15775041.5

申请日：2015-09-17

申请人： Microsoft Technology Licensing, LLC

发明人： HALL, Mark L. ,  MADHUGIRI, Sridhar S. ,  EMMETT, Jonathan C. ,  MOSESCU, Leonard C.

IPC分类号： G06F9/45

CPC分类号： G06F8/48 ,  G06F8/423

摘要： Techniques are described herein that are capable of selectively loading precompiled header(s) and/or portion(s) thereof. A precompiled header is a complied (e.g., precompiled) representation of a header file. For instance, the compiled representation may be in an intermediate form that a compiler may process more quickly than the non-compiled header file. In one example, the precompiled header(s) and/or portion(s) thereof may be selectively loaded based on whether the precompiled header(s) and/or portion(s) thereof are referenced in a computer program. In another example, loading a portion of a precompiled header may be deferred until content of the portion is referenced in a computer program.

摘要翻译： 本文描述了能够选择性地加载预编译头部和/或其部分的技术。 预编译头是头文件的编译（例如，预编译）表示。 例如，编译后的表示可能处于编译器比未编译头文件处理速度更快的中间形式。 在一个示例中，可以基于预编译头部和/或其部分是否在计算机程序中被引用来选择性地加载预编译头部和/或其一个或多个部分。 在另一个示例中，可以推迟加载预编译头部的一部分，直到在计算机程序中引用该部分的内容为止。

公开(公告)号：EP2950206B1

公开(公告)日：2017-07-26

申请号：EP15169625.9

申请日：2015-05-28

申请人： Semmle Limited

发明人： Tibble, Julian ,  Avgustinov, Pavel ,  Cawley, Peter

IPC分类号： G06F9/44 ,  G06F9/445

CPC分类号： G06F8/54 ,  G06F8/423 ,  G06F8/70 ,  G06F8/75 ,  G06F9/44521

摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for extracting source code. One of the methods includes receiving, by a newly created process, a request to execute code of an executable file in the newly created process, wherein the request specifies a parameter. The newly created process loads a process interception library. Library initialization code of the process interception library determines whether the parameter should be intercepted. In response to determining that the parameter should be intercepted, the parameter is provided to another process.

摘要翻译： 方法，系统和装置，包括编码在计算机存储介质上的计算机程序，用于提取源代码。 其中一种方法包括通过新创建的进程接收在新创建的进程中执行可执行文件的代码的请求，其中该请求指定参数。 新创建的进程加载一个进程拦截库。 过程拦截库的库初始化代码确定是否应拦截参数。 响应于确定参数应被拦截，参数被提供给另一个进程。

公开(公告)号：EP3065051A1

公开(公告)日：2016-09-07

申请号：EP15157809.3

申请日：2015-03-05

申请人： Josopait, Ingo

发明人： Josopait, Ingo

IPC分类号： G06F9/45 ,  G06F9/44

CPC分类号： G06F8/423 ,  G06F8/314 ,  G06F8/433 ,  G06F8/434 ,  G06F9/4494

摘要： The present invention discloses a method of flow control in a computing device, for processing of flow control statements to adapt a data structure of a program running on the computing device and a computer program product storing the method. The invention thereby allows the integration of the kernels into the main program when compiling. The whole parsing of the CPU program parts and the kernels is done by one single standard compiler. The actual compiler for the device can be linked as a library and does not need to do any parsing. The invention further allows loops and if-clauses to be used in language-embedded GPGPU programming, enabling full general-purpose programming of the device in a way that is fully embedded in an ordinary programming language. The device can be a highly parallel computing device, such as a video card, or some other computing device.

摘要翻译： 本发明公开了一种计算装置中的流量控制方法，用于处理流量控制语句以适应在计算装置上运行的程序的数据结构和存储该方法的计算机程序产品。 因此，本发明允许当编译时将内核集成到主程序中。 CPU程序部分和内核的整个解析由一个单一的标准编译器完成。 设备的实际编译器可以作为库链接，不需要进行任何解析。 本发明进一步允许在语言嵌入式GPGPU编程中使用循环和if子句，使得能够以完全嵌入普通编程语言的方式对设备进行全面的通用编程。 该设备可以是高度并行的计算设备，例如视频卡或其他一些计算设备。

公开(公告)号：EP3053032A1

公开(公告)日：2016-08-10

申请号：EP14790857.8

申请日：2014-10-01

申请人： Microsoft Technology Licensing, LLC

发明人： CHEN, Wen-Ke ,  YU, Jinsong ,  RIEMANN, Alexander P.

IPC分类号： G06F9/45 ,  G06F9/54

CPC分类号： G06F8/43 ,  G06F8/423 ,  G06F9/541

摘要： Build-time resolution and type-enforcing of corresponding references in different code that references the same value. In response to detecting a directive within the code itself that a first reference in first code is to be correlated with a second reference in second code, and in response to detection that the types of the references are the same, a code generation tool generates correlation code that is interpretable to a compiler as allowing a value of a type of the first reference of a compiled-form of the first code to be passed as the same value of the same type of the second reference of a compiled-form of the second code. The first code, the second code, and the generated correlation code may then be compiled. If compilation is successful, this means that the first and second references are already properly resolved as referring to the same value and type-enforced.

摘要翻译： 在不同代码中引用相同值的相应引用的构建时解析和类型实施。 响应于在代码本身内检测到第一代码中的第一参考与第二代码中的第二参考相关联的指示，并且响应于检测到参考的类型相同，代码生成工具生成相关 代码可以被编译器解释为允许第一个代码的编译形式的第一个引用类型的值作为第二个编译形式的第二个引用的相同类型的相同值传递 码。 然后可以编译第一个代码，第二个代码和生成的相关代码。 如果编译成功，这意味着第一个和第二个引用已被正确解析为引用相同的值并强制执行类型。

公开(公告)号：EP2948851A4

公开(公告)日：2016-08-03

申请号：EP13872488

申请日：2013-11-21

申请人： TENCENT TECH SHENZHEN CO LTD

发明人： FU YANGHUI

IPC分类号： G06F11/36 ,  G06F9/45 ,  G06F21/57

CPC分类号： G06F8/427 ,  G06F8/42 ,  G06F8/423 ,  G06F11/3604 ,  G06F11/368

摘要： A method and an apparatus for testing browser compatibility are provided. The method may include pre-processing source code of a webpage to determine a code type. A compatibility rule library may be obtained according to the code type. Further, a syntax parsing may be conducted on the source code to obtain a syntax tree of the source code. The browser compatibility of the webpage may be tested by conducting a static analysis of the source code based on the compatibility rule library and the syntax tree. The disclosed method and apparatus for testing browser compatibility can automatically conduct static analysis of the webpage source code to test browser compatibility, which is simple and inexpensive.

摘要翻译： 提供了一种用于测试浏览器兼容性的方法和装置。 该方法可以包括预处理网页的源代码以确定代码类型。 可以根据代码类型获得兼容性规则库。 此外，可以对源代码进行语法解析以获得源代码的语法树。 可以通过基于兼容性规则库和语法树对源代码进行静态分析来测试网页的浏览器兼容性。 所公开的用于测试浏览器兼容性的方法和装置可以自动进行网页源代码的静态分析，以测试浏览器的兼容性，这是简单且便宜的。

公开(公告)号：EP3005087A1

公开(公告)日：2016-04-13

申请号：EP14733864.4

申请日：2014-05-29

申请人： Microsoft Technology Licensing, LLC

发明人： SNOVER, Jeffrey P. ,  PAYETTE, Bruce G. ,  HANSEN, Kenneth M. ,  LAKSHMANAN, Narayanan ,  ZHOU, Xiaoyong

IPC分类号： G06F9/44 ,  G06F9/445

CPC分类号： G06F8/423 ,  G06F9/44505 ,  G06F9/448 ,  G06F9/4488

摘要： Systems and methods for desired state configuration (DSC) are disclosed. DSC provides the ability to perform declarative configuration natively within a shell language and to use early-bound schematized data constructs embedded in a late-bound shell language. This allows declarative programming elements to be incorporated into imperative languages, such as scripts for configuration management. Script may combine the power of an imperative shell language with the ease of use of a declarative language and may use both imperative and declarative syntax in the same language.

摘要翻译： 公开了所需状态配置（DSC）的系统和方法。 DSC提供了在shell语言中本地执行声明性配置并使用嵌入后期shell语言的早期界定的图形化数据结构的能力。 这允许将声明性编程元素整合到命令式语言中，例如用于配置管理的脚本。 脚本可以将命令式shell语言的功能与声明性语言的使用结合起来，并且可以使用相同语言的命令式和声明式语法。

公开(公告)号：EP2987079A1

公开(公告)日：2016-02-24

申请号：EP14814726.7

申请日：2014-10-29

申请人： Huawei Technologies Co. Ltd.

发明人： REHMAN, Irfan Ur ,  DIVAKARAN, Nair Sanil Kumar

IPC分类号： G06F9/45

CPC分类号： G06F8/70 ,  G06F8/41 ,  G06F8/423 ,  G06F8/427 ,  G06F8/54 ,  G06F8/658 ,  G06F9/44521

摘要： A technique for creating dynamically attachable and detachable binary files is provided. The invention provides an efficient mechanism to manage the existing code bases with respect to the additional code needed for a particular feature as a single code base. It also provides a mechanism for designers to plan for such features even before the code is conceptualized. The system parses the code having a dynamic feature manager (DFM) tag to produce a base code wherein the DFM tag encloses a feature. The multiple code sets based on the DFM tags are created. A feature change table storing the information about a changed feature compared to the feature from the code sets is generated and stored in the system. The code sets are then compiled to generate binaries. The difference between each of the binaries, using the feature change tables is determined and stored which is used for creating differential binary file(s).

摘要翻译： 提供了一种用于创建动态地安装和可拆卸的二进制文件的技术。 本发明提供了高效的机制相对于所需要的特定的特征作为一个单一的代码库的附加代码来管理现有的代码库。 因此，它提供了一种机制的代码被概念化甚至在设计师为搜索计划的特点。 该系统解析具有动态特征管理器（DFM）天worin的DFM标签包围的特征，以产生一个基本码的代码。 创建基础上，DFM标签的多个代码集。 生成一个特征改变表存储关于改变的特征相比于从代码集的特征的信息，并存储在系统中，代码集然后被编译，以生成二进制文件。 ，使用该特征变化表的每个二进制文件之间的差异是确定性所开采和所有其用于创建差分二进制文件（一个或多个）存储。

公开(公告)号：EP2962193A1

公开(公告)日：2016-01-06

申请号：EP14711353.4

申请日：2014-02-26

申请人： Microsoft Technology Licensing, LLC

发明人： MILLER, Olaf Alexander ,  TZEN, Ten ,  BOSTANCI, Hakki T. ,  PASHNIAK, Michael T. ,  PATEL, Kalpesh S.

IPC分类号： G06F9/45 ,  G06F21/14

CPC分类号： G06F8/41 ,  G06F8/423 ,  G06F8/4442 ,  G06F8/445 ,  G06F8/47 ,  G06F8/51 ,  G06F8/52 ,  G06F8/70 ,  G06F21/14

摘要： Compiler based obfuscation is described. To protect portions of a code project with obfuscations, the code is modified within a compiler to produce one or more modifications that obfuscate the code as part of a compilation process. A compiled version of the code is generated having the modifications that are produced within the compiler. In one approach, the compiler is configured to consume an obfuscation description that indicates portions of the code to protect and specifies the modifications to make to the indicated portions. Various different modifications of code may be performed during the compilation process to implement corresponding obfuscation features. For example, the modifications made within a compiler may include, but are not limited to, modifications designed to enable tamper detection, anti-debugging, and/or encryption of the code.

摘要翻译： 描述了基于编译器的混淆。 为了保护代码项目的部分，使用混淆，代码在编译器中进行修改，以产生一个或多个修改，这些修改会将代码混淆，作为编译过程的一部分。 生成代码的编译版本，具有在编译器中生成的修改。 在一种方法中，编译器被配置为消耗模糊描述，其指示代码的部分以保护并指定对所指示的部分进行的修改。 可以在编译过程中执行代码的各种不同的修改以实现相应的模糊特征。 例如，在编译器内进行的修改可以包括但不限于旨在实现代码的篡改检测，反调试和/或加密的修改。

公开(公告)号：EP2943877A1

公开(公告)日：2015-11-18

申请号：EP14703041.5

申请日：2014-01-22

申请人： Siemens Aktiengesellschaft

发明人： MATTHEIS, Sebastian ,  SCHÜLE, Tobias

IPC分类号： G06F9/45 ,  G06F12/08 ,  G06F9/48 ,  G06F9/50

CPC分类号： G06F8/451 ,  G06F8/41 ,  G06F8/423 ,  G06F8/43 ,  G06F8/4441 ,  G06F8/445 ,  G06F8/452 ,  G06F9/46 ,  G06F9/4881 ,  G06F9/5033

摘要： A method for scheduling tasks to processor cores of a parallel computing system comprising the steps of processing a source code which comprises at least one parallel lambda function having a function body called by a task and having a capture list specifying the data structures accessed in the function body of said parallel lambda function and used to derive data location information; executing the task calling said function body on the processor core which is associated to a memory unit of the parallel computing system where the data of the data structures specified by said capture list is stored, wherein the memory unit is selected or localized on the basis of the derived data location information.