Arquivo da categoria: C++

C++, Curso

Curso avançado de C++ moderno – C++11 e C++14

30/09/2021 Armando Couto Deixe um comentário

https://ltcmelo.com/cursocpp.html

C++, Java, Programação

Infer | A static analyzer for mobile apps

10/09/2018 Armando Couto

http://fbinfer.com/

A static analyzer for Java, C, C++, and Objective-C
https://github.com/facebook/infer
1.817 forks.
13.306 stars.
351 open issues.

Recent commits:

[pulse][taint][report] Report new taint sources/sinks to JSONSummary:Populate new source/sink tags in the `jsonbug` type with taintsource/sink procedure names when a flow from a taint source or to ataint sink is diagnosed.This should permit straightforward querying of all the flows out of/in toa given source/sink (respectively).Reviewed By: dulmarodDifferential Revision: D36640838fbshipit-source-id: a9c1f88ec8ea2dcb527211348c1197edb440122b, Facebook GitHub Bot
[pulse][taint][report] Add JSON fields for taint sources/sinksSummary:Add string fields for taint sources and sinks to the `jsonbug` type, inthe `extra` field.This will permit clear reporting of taint source/sink flows from theJSON format reports.Reviewed By: dulmarodDifferential Revision: D36640831fbshipit-source-id: 06eb97259ffcdecac0b88e8c2f728e3000fa3ad3, Facebook GitHub Bot
[pulse][taint] Report new data flow to sink issues alongside tainted flowsSummary:Whenever a tainted flow from source to sink is reported, report a data flowto a taint sink too.This is a first step towards actually capturing data flows to sinks,and the approach will be refined in future diffs.Also update `Makefile`s to avoid duplication of reported`TAINT_FLOW` issues – a later commit will add a dedicated test directoryfor `DATA_FLOW_TO_SINK`.Reviewed By: dulmarodDifferential Revision: D36546063fbshipit-source-id: b79d84f5d2416d97584c30d09152c2a4b9f8905b, Facebook GitHub Bot
[pulse][taint] Report new sensitive data flow issues alongside tainted flowsSummary:Whenever a tainted flow from source to sink is reported, report a data flowfrom a tainted source too.This is a first step towards actually capturing flows of sensitive data,and the approach will be refined in future diffs.Also update `Makefile`s to avoid duplication of reported`TAINT_FLOW` issues – a later commit will add a dedicated test directoryfor `SENSITIVE_DATA_FLOW`.Reviewed By: dulmarodDifferential Revision: D36546060fbshipit-source-id: 8f1571c0b2734a8bebb736f74c1c491b804260eb, Facebook GitHub Bot
[sledge] Read goal traces from files rather than CLI argumentsSummary:When reading the `-goal-trace` command line argument, SLEdge now expects thepath to a file containing one function name per line rather than a"+"-delimited sequence of function names.Reviewed By: jberdineDifferential Revision: D36660479fbshipit-source-id: 2719b352ed15139eb51dc1b75ea984be724540ab, Facebook GitHub Bot

.Net, ASP.Net, C++, Programação

Microsoft Visual C# 2008 – Passo a Passo

09/04/2017 Armando Couto Deixe um comentário

Nota do livro: 8.

C++, Framework, Programação, Qt Project

O que é Qt Project?

03/03/2017 Armando Couto Deixe um comentário

https://github.com/qtproject
https://www.qt.io

C++, Programação

Começando a Programar Em C++ Para Leigos

04/02/2015 Armando Couto Deixe um comentário

Nota do livro: 5.

Full Stack Developer, DevOps, CSM e LKU. coutoarmando@gmail.com