Patents by Inventor Patrick Munier

Patrick Munier has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Systems and methods for analyzing violations of coding rules
    Patent number: 10423518
    Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.
    Type: Grant
    Filed: April 27, 2016
    Date of Patent: September 24, 2019
    Assignee: The MathWorks, Inc.
    Inventors: Stefan David, Patrick Munier, Alexandre De Barros, Bernd J. Kanamueller, Peter S. Szpak
  • SYSTEMS AND METHODS FOR ANALYZING VIOLATIONS OF CODING RULES
    Publication number: 20170315903
    Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.
    Type: Application
    Filed: April 27, 2016
    Publication date: November 2, 2017
    Inventors: Stefan David, Patrick Munier, Alexandre De Barros, Bernd J. Kanamueller, Peter S. Szpak