repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
statement_count: record how many statements there are in a function
2018-12-04
Dan
C
a
rpente
r
statement_count:
r
ecord h
o
w many st
a
t
e
ments there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/db:
si
l
ence an invalid SQL warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpen
t
er
buf
_
size: fix handl
i
ng of
1
el
e
ment ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Da
n
Carpe
n
ter
db: sql debug mode was execut
i
ng the SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
e
r
test_bit:
add test_and_s
e
t_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
debug: in
t
roduce __s
m
a
t
ch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: d
o
n't s
a
ve struct memb
e
rs for
i
nteg
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpe
n
ter
i
m
plie
d
: remove
a
n
u
nnec
e
ssary
N
ULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
nul_terminator: ex
p
ort the is_nu
l
_te
r
minated() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
kpa
t
ch:
use
g
i
t
instead of
trying to create diff
s
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
struct_assi
g
nment: handle unions as wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missing_break
:
tu
r
n
i
t
off
b
y
default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
free_st
r
ict:
f
ix so
m
e
false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n C
a
rpenter
Revert "Lo
o
k acr
o
ss the en
t
ire co
m
pile line for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n
L
e
v
o
n
Look
across the
e
ntire compile
l
i
n
e
for smatch arg
u
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
sparse: add -Wempty-character-constant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evo
n
sp
a
rs
e
: a
d
d
-Wb
i
g-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
spa
r
se: add
-Wno-no
n
-ansi-func
t
ion-
d
eclaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Le
v
on
sparse: c
o
rrectly handle "-D foo" and "-
U
foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oostenryck
fix:
sp
a
ces in macro
d
efinition on the comm
a
nd line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
In
t
roduce s
k
i
pped_
f
u
n
ction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix escape_newlines()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
sparse: lib
.
c sh
o
uld handle be
i
ng built 32
-
bit
,
c
o
mpiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
s
p
arse: define
_
_x86
_
64; some s
o
f
t
w
are chec
k
s for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
Allow addit
i
onal CFLA
G
S to be specified, e
.
g
.
"CF
L
AGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
D
an Carpenter
trinity: Proof
o
f
conc
e
p
t
to
aut
o
-gener
a
te trinit
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpen
t
er
use
r
_data: re
n
ame
t
o
smatc
h
_kernel_user
_
data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carpen
t
er
ass
i
gned
_
ex
p
r
: rename to smatc
h
_assi
g
ned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
s
ma
t
ch: ma
k
e the --enable/disable options t
a
ke strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John
L
evon
clock()
i
s
already defined on illumos, so rename the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John
L
ev
o
n
Ignor
e
"#ident" as fou
n
d in
some o
l
d sources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John L
e
von
U
se $
(
CFLAGS) when compili
n
g smatc
h
.
c it
s
elf
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
arpe
n
te
r
smatc
h
_nu
l
_
t
er
m
inated
:
fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
untracke
d
_p
a
ram
:
fix a NU
L
L dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
uninitialized: fix a cr
a
shing bug p
a
rsin
g
"r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_te
r
minator: trac
k
wh
e
n string
s
have a NUL terminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
te
r
user_da
t
a2: fix a type
i
ssue in caller_in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
user_data: i
n
t
egers can't
be
d
e
r
eferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
compariso
n
:
make
a
buff
e
r large
r
to mak
e
GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpenter
data_
s
ource: t
r
ack
a
s
s
ignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra: prevent a divide by
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
r
penter
m
od
i
fication_hooks: us
e
the DB for
f
rob(&fo
o
);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
en
t
e
r
sval: in
t
roduce sval_binop_
o
verfl
o
ws_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpente
r
extra: undo bogu
s
unop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpent
e
r
array
_
values: fix up and suppor
t
two
dimensi
o
nal local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
para
m
_set: d
o
n't
recor
d
a
param
_
s
et for
p
++
ch
a
n
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
func
t
i
o
n_
h
ooks: re-hack
aroun
d
movin
g
the fake p
a
ra
m
eter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Da
n
Ca
r
penter
array_values:
store array values of struct
m
ember arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpente
r
function_hooks: hack around fal
l
out from mo
v
ing
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
comparison: don't return invalid params in get_mask_
c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
ter
db
:
don't print "
f
ailed t
o
o
pen" war
n
ings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
param_set: r
e
m
o
v
e
some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpente
r
m
tag: temporarily disable generat
i
n
g mt
a
g
f
o
r
k
malloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
expression
s
: don't c
r
as
h
on in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: fix a t
y
pe bug in inserting in
f
o
into caller
_
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Ca
r
pent
e
r
k
e
rnel:
d
on't
insist that the param
e
ter
is n
a
med
"error
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export is_impossible_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow: fix a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
function_hooks: do
t
he fake parameter assignment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
pa
r
am_
l
imit: f
i
x gen
e
ri
f
y_mt
a
g
_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
r
p
e
nter
ex
t
ra: clear_pointed_at_state() is a nom
o
d state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
p
a
ram_set:
handle when the stack variable was m
o
d
i
fied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arp
e
n
t
er
parse_call_math: don't say the return
is equal to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
scop
e
:
fix is_outer_stmt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
sva
l
: han
d
le casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
array_va
l
u
es: do
n
't cra
s
h on
i
n
val
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
no_spec: record
w
hen functions have a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an Car
p
e
nter
e
xtr
a
/
type:
f
ix type of
r
eturn PARAM_
A
D
D/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an Car
p
e
n
t
er
para
m
_limit: make m
t
ag limits more
generi
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
pa
r
a
m_
s
e
t
:
don
'
t sav
e
if t
h
e pare
n
t is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
atomic
_
inc_dec
:
a
d
d a couple more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
signed_in
t
eger
_
overflo
w
: i
g
nore this
for the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: ha
n
d
le conditionals like: "a = b
?
:
c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
nospec:
don't fill the DB up with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sizeof: fix
NULL dereference par
s
ing inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
strings: truncating la
r
ge strin
g
s causes SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
type_val: don't
d
ouble rec
o
rd globals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
target: man ss
i
z
e_
t
be unsign
e
d lo
n
g i
n
st
e
a
d o
f
uns
i
gned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
e
x
t
r
a
:
don't reset i
m
possib
l
e states after a con
d
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpenter
a
r
ray: store possib
l
e array value
s
for simple ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
mtag: HACK: return false if the
m
t
a
g is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
arpent
e
r
flo
w
:
f
a
ke an assign stat
e
m
e
n
t for global initializer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
ar
p
enter
f
low: tweak how function timeouts hap
p
en
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
a
r
pen
t
er
db: fix
a
type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
smatch_flow
:
d
o
n
't parse
inline function
s
after we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: add stri
n
g
informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow: handle __bui
l
tin_mul_overfl
o
w()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n
C
a
rpent
e
r
k
e
rnel_pr
i
n
t
f:
s
i
lenc
e
"speci
f
ier is cast from poi
n
te
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Car
p
e
n
t
er
no
s
pec: turn off speculation at rmb(), smb_rmb
(
)
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n Carpenter
che
c
k_signed: ignore fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_data: cle
a
r cache
at start of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan
Carpent
e
r
nospe
c
:
f
ix unin
i
tialized p
o
inter
c
rash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
helpe
r
: fake cal
l
s
are not equival
e
nt
to any
t
hi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
comparison: handl
e
compariso
n
s: if ((foo = frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: im
p
rov
e
"
foo =
m
in(
.
.
.
);
"
assignm
e
nt
h
and
l
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hack around
s
o
me typ
e
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag_dat
a
: r
e
move du
p
licate mtag_da
t
a
a
nd random small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
penter
co
n
tainer_of: fix a bug in get_share
d
_cnt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpen
t
er
c
heck_check_de
r
ef: silence some fal
s
e po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
D
an Carpe
n
ter
nospec: store fun
c
tions th
a
t return n
o
spec indexe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next