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
db: sql debug mode was executing the SQL twice
2018-11-29
Dan
C
arpenter
db:
s
ql debug mode was
e
xecuting the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
tes
t
_bit: add tes
t
_and_set_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
pe
n
ter
debug: intro
d
uce __sm
a
t
c
h_me
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpen
t
er
db
:
don't save struct m
e
mbers for integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpente
r
im
p
lied: rem
o
ve
a
n unnecessary NUL
L
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
nu
l
_termi
n
ator
:
export th
e
is_nul_
t
erminated() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
k
p
atch: use git
i
n
stead
o
f trying to cr
e
at
e
diffs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
str
u
ct_assi
g
nm
e
nt:
handle
u
n
io
n
s
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carpenter
missi
n
g_break: turn it off by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
n
t
er
fre
e
_
strict: fix
s
ome false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Rev
e
rt
"
Look across the entire compile line fo
r
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
Lo
o
k
ac
r
oss the entire compile line for smatch arguments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: add -Wemp
t
y-chara
c
ter-c
o
nstant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n
L
evon
sp
a
rse:
ad
d
-Wbig
-
constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
s
pars
e
: add -Wno-no
n
-a
n
s
i-function-declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
parse:
c
orr
e
ctly handle "-D foo
"
and "-U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
L
u
c
V
an
O
osten
r
yck
f
i
x: sp
a
c
es in macro defin
i
t
ion on the
command li
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Introduce skipped_funct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
oh
n
Levon
Fix escape_ne
w
li
n
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
evon
sp
a
r
s
e: lib
.
c
should h
a
nd
l
e bei
n
g built 32-bit,
comp
i
ling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
e
von
spars
e
: define
_
_x86_
6
4; some software checks for this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Allow a
d
dit
i
o
nal CFLAGS
to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan
Carpenter
tr
i
ni
t
y
:
Proof of concept to aut
o
-
g
enerate trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
user_data: rename to sm
a
t
ch_kernel_user_dat
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Car
p
enter
ass
i
g
n
e
d_expr: rename to s
m
atch_
a
s
s
i
g
ned_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch: m
a
ke
the --enable/dis
a
ble o
p
t
i
on
s
take string
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
c
lock
(
) is already defined on illumos, s
o
rename
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
Levon
I
g
nor
e
"#ident" as found in
some old sour
c
es
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John L
e
v
o
n
Use $(CFLAGS) when compilin
g
smatch
.
c
itself
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpenter
sma
t
ch_nu
l
_
t
e
rminat
e
d: fix com
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
pen
t
er
untr
a
cked_param: fix a NULL derefere
n
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
uninitialized:
f
ix a crashin
g
b
ug parsin
g
"retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carp
e
nter
nul_
t
e
rminator: tr
a
ck
wh
e
n strings have a NUL terminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
user_data2: fix a type
issue
i
n caller
_
i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user
_
data: integers can't be
d
erefer
e
nced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
r
penter
comparison: make a buf
f
er larger to make GCC
happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arpenter
da
t
a_sour
c
e
: track
a
ssignment
s
bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
ex
t
ra: prevent
a divide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpente
r
modification_hooks: us
e
the D
B
f
o
r
f
rob(
&
foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carp
e
nte
r
sval:
introduce sval_binop_overflow
s
_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
D
a
n Carpent
e
r
extra:
u
ndo bogus unop ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Carpenter
array_va
l
ue
s
:
f
i
x up an
d
support two
dimensional
local
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Da
n
Car
p
e
n
ter
pa
r
am_set: don
'
t record
a
par
a
m
_s
e
t fo
r
p+
+
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n
Ca
r
penter
funct
i
on_hook
s
: re-hac
k
ar
o
und movin
g
the fak
e
parameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
enter
a
r
r
a
y_val
u
es: st
o
re arra
y
va
l
u
e
s of struct membe
r
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
D
a
n C
a
rpenter
functi
o
n_
h
ooks
:
hack around fallout from moving the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carp
e
nter
comparison:
d
on't retu
r
n
invali
d
params in get_mas
k
_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
db:
do
n
't
p
rint "failed to open" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpe
n
t
e
r
param_set: remove
s
ome dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
pe
n
t
er
mtag: tempora
r
i
ly disable generating mtag fo
r
kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
expressi
o
n
s
: don't crash on invalid
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
extra: fix a
type bug in ins
e
rt
i
ng info i
n
to c
a
ller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kernel: don't i
n
sist
t
hat the para
m
eter is
named "erro
r
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpente
r
extra
:
e
xport
i
s
_impossible_vari
a
ble()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carp
e
nter
flow:
fix a
c
ras
h
i
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
f
u
nction_ho
o
ks
:
do the fake param
e
ter a
s
signment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
param_l
i
mit: fix g
e
nerify_mtag_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpent
e
r
extra: clear_po
i
nte
d
_at_state() is a
nomod state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
e
r
param_se
t
: handle when
the sta
c
k
va
r
iable wa
s
mo
d
ified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
parse
_
c
a
ll_math: don't say the return is equal
t
o
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
s
cope: fix is_o
u
ter_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Ca
r
penter
sval: handle casting to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
arr
a
y
_
v
a
lues: don't crash on inval
i
d co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
ter
n
o
_
spec: re
c
ord when f
u
nct
i
ons
have a b
a
rrie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan
Carpent
e
r
extra/type: fix type of r
e
tur
n
PARAM_ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
Dan Car
p
enter
param_limit: ma
k
e mtag li
m
its more
g
ene
r
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
param_set
:
don
'
t s
a
v
e if th
e
parent is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
atom
i
c_inc_dec: add a c
o
up
l
e
m
ore functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
signed
_
integer_overflow: ig
n
o
r
e
this for the kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
m
a
th: hand
l
e
conditionals
l
ike: "a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
nospec: don't fill the
D
B up with garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
sizeof: fix
N
U
LL dereference parsin
g
in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
t
rings: truncating la
r
ge strings causes SQL p
r
oble
m
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an C
a
rpente
r
t
y
pe_
v
al: don't do
u
b
le record globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an C
a
rpenter
target: m
a
n ssize_t be unsigned long ins
t
ead of unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra:
d
o
n
't reset impossible states af
t
e
r a cond
i
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan C
a
rpente
r
array
:
store poss
i
ble
a
r
ray va
l
ues fo
r
simpl
e
array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
arpenter
mtag: H
A
CK
:
r
eturn false if the mtag i
s
zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
arpenter
flo
w
:
fake an assign statem
e
nt for glo
b
al initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rp
e
nter
flow: tweak how function timeouts happen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
db: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpenter
smatch_flow: don't parse i
n
l
i
ne fu
n
ctions after
we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
a
n
C
arpenter
mtag: add string inf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
arpenter
flow: ha
n
dle
__buil
t
i
n
_
m
ul_overflow(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan Ca
r
pe
n
ter
kernel_
p
r
i
ntf: silence "specifier
is cast from
pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
C
arpenter
no
s
pec: t
u
rn off specula
t
ion
a
t
rmb(), s
m
b
_
rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan C
a
r
p
e
n
ter
ch
e
c
k_signed: ignore
f
ake assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
D
an Ca
r
pen
t
e
r
mtag_data: clear
cach
e
at start of
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
nospec: fix uninitialized p
o
in
t
er crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
helper: fake
c
alls are not eq
u
ivalen
t
to anythi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
comparison: handle compa
r
isons:
i
f
((foo
= f
r
o
b(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Car
p
en
t
er
comparison: im
p
rove "foo = min(
.
.
.
);"
assignm
e
nt h
a
nd
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpenter
comparison: hack a
r
ound some
t
ype
b
u
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag_data: remove
d
u
p
licate mtag_data and
r
andom small
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n
C
a
r
p
enter
con
t
ainer_of: fix a
b
ug in get_
s
hared_cnt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n C
a
rpenter
check_check_deref:
s
ilence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nosp
e
c
:
store functions that
return nospec indexes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
nospec: handle CALL_NOSPEC
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpen
t
e
r
db
:
i
ntroduce the
--db-file=/path/to/smatch_db
.
s
q
l
i
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
a
rpenter
u
ser
_
da
t
a2: us
e
fu
n
c
tion
returns in
points
_
to_u
s
er_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next