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
helper: don't strip casting in get_array_offset()
2015-03-20
Dan Carpente
r
h
elpe
r
: don
'
t st
r
ip casting in get_ar
r
ay_
o
ffse
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpen
t
er
links: e
x
p
ort merge_lin
k
_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
h
e
l
per: make expr_to_str() print
forced cast
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
type: make type_to_str() return a sna
m
e
() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Carpenter
modificatio
n
_hooks
:
set a variable as mo
d
ified whe
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Ca
r
penter
u
ser_d
a
t
a2: tag it if a f
u
ncti
o
n se
t
s
parameters
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpenter
stack
:
c
l
ean
u
p a fu
n
c
t
ion prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpen
t
e
r
deref_check: i
g
nore arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type
:
make sval_ty
p
e
_max()
default to
"long long"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Car
p
enter
type: d
o
n't return S
Y
M_N
O
DE types from get_
r
e
a
l_base_
t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpente
r
side_effects: the iterate
_
all_kinds() mac
r
o has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
u
nre
a
chable:
d
on't
co
m
plain about iterate_a
l
l_ki
n
ds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
Carp
e
nter
flow: fix "foo
+
= !bar;"
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
ter
lib: han
d
le
-
funsigned-char
o
ption
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kerne
l
.
igno
r
e_side_e
f
fects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan C
a
rpe
n
ter
in
d
enting
:
allow
"b
r
e
ak; case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
user_data2: mark sscanf() output as
u
ser da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
math, rl: fix handi
n
g
d
iv
i
s
ion involvin
g
negative num
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
sval: fix
s
val_
b
i
nop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precedence
:
co
m
pla
i
n
ab
o
ut "foo << bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Da
n
Carpent
e
r
f
l
ow:
handl
e
struct i
n
i
tializa
t
ion better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
estate: a
d
d
a NU
L
L check in
estates_equiv(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpente
r
param_used
:
store when a
p
arame
t
er is used so we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
e
x
tra: ignor
e
m
o
re __in
_
fa
k
e_assign d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
c
o
mparis
o
n: fix
a
c
ra
s
hing b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type: add an
e
xpr_signed(
)
function that matches expr_unsi
g
ned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpen
t
e
r
smd
b
.
p
y
: ad
d
function
s
to
show functions
i
m
plementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
enter
extr
a
:
h
andle temporary shorthand p
o
inte
r
s
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
d
erefer
e
n
c
es_pa
r
am: lo
o
k
for pointers used as an a
r
r
ay
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpenter
check_indenting: wa
r
n
about
missing curly braces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n
Carpenter
param_clea
r
e
d
: a
d
d a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpenter
validat
i
on: correct som
e
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aar
o
Koskinen
build: allow
u
se
o
f PK
G
_CONFIG
to overri
d
e
pkg
-
config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db:
b
uild
i
n
de
x
e
s faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an
C
arpenter
slist: fix co
m
pile
b
r
e
akage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpente
r
kernel_printf: silence some false posit
i
ves using sma
t
ch
_
str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Ca
r
penter
strings: reco
r
d w
h
ic
h
strings are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
user_data2: turn on skb-
>
d
a
t
a
t
aggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpenter
db: renam
e
F
I
LTER_V
A
L
U
E, LI
M
I
T
ED_VALUE, and ADDED_
V
A
L
UE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
k
e
r
nel_printf: silence some "stru
c
t sockadd
r
" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carp
e
nter
type: add u
n
ions to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Carpenter
t
yp
e
_v
a
lue: speed up loadi
n
g the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
an
C
arpenter
*new* return_cast: comp
l
ain about ret
u
rn -
E
IN
V
A
L
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
ar
p
enter
form
a
t_string: delete this because chec
k
_kernel_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
fun
c
tion_
h
oo
k
s: add some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
rpente
r
extr
a
: cl
e
anup db_param_a
d
d_s
e
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
extra:
se
p
a
rate PARAM_LIMIT and PARAM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_
h
ooks: don't
t
ake a sh
o
rtc
u
t for "needl
e
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
h
elper: introduce alloc_s
t
ate_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: handle
"
if (li
k
e
l
y(1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
rpent
e
r
mat
h
:
fix/cle
a
nup
do_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
ca
p
p
e
d: don't record
s
ingle
v
alues as capped in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: export get
_
s
tati
c
_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
us
e
r_data2: wrong parameter tagged as user data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
r
pent
e
r
rosenberg: delete some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg:
s
trip a
w
ay some cast
i
ng (e
l
imi
n
ates a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rose
n
berg: d
o
n't save u
n
n
e
eded states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
ente
r
b
u
f_s
i
z
e: d
o
n't save useless information in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an
C
arpen
t
er
s
truct_assignment: igno
r
e
m
ore
fake
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
slist: fix debugging o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
r
p
enter
param_cleared, rosenberg: ad
d
u
n
de
r
sc
o
red
m
emset/
c
py
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_filter/set: don't rec
o
rd f
a
k
e
assig
n
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpen
t
e
r
s
l
ist, deb
u
g
ging: don
'
t p
r
int ->po
s
sible
l
ist
i
f
th
e
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
en
t
er
type_va
l
: add
m
ore stuff t
o
ig
n
ore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n C
a
rpent
e
r
db/reload_partial
.
sh
:
chan
g
e
d
atabas
e
info for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
D
ocumentation fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Carpenter
kernel_printf: put lots of single quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carp
e
nter
Merge branch 'devel
3
'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus Villemoes
check_ker
n
e
l
_
pri
n
t
f
.
c
:
Allow
c
onst
char[] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus V
i
l
lemoes
check_kernel_p
r
intf
.
c
:
Han
d
le
'fmt
?
: "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_
k
e
r
n
el_printf
.
c: Sim
p
l
ify recursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
chec
k
_ker
n
el_printf
.
c:
Simplify
r
ecursive callin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
k
er
n
el_
p
rintf: allow
'\b' if it's
t
he first ch
a
racter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
vali
d
ation/sm_rosenberg
.
c: don't pa
s
s a
n
uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Ca
r
penter
kerne
l
_
p
r
in
t
f: a
d
d
some more q
u
otes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_
p
ri
n
t
f
:
m
ove
a warning unde
r
the --
s
pammy fl
a
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpenter
kernel_printf: add some quotes around the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
kerne_printf: '%pb' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
che
c
k
_
ke
r
n
el_printf
.
c: Fix braino
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s
Ville
m
oes
check_k
e
rnel_printf
.
c:
S
trip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
c
h
eck_kerne
l
_print
f
.
c: Ha
n
dle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
s
m
atch: Che
c
k t
h
e
kerne
l
's %p
fo
r
mat extensi
o
ns
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us
Ville
m
oes
smatch: Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Villem
o
es
smatch: Implement --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
ll
e
moes
smatch: Add dumm
y
element to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
L
u
c V
a
n Oostenryck
Avoi
d
r
e
use of string buffer when
concatening
a
djac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Da
n
Ca
r
penter
wrong_size_arg: war
n
about "if (memcmp
(
foo,
bar, sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struct_as
s
ig
n
ment: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sv
a
l: handle
LEFTS
H
IFTs in sval_binop_overflo
w
s(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n C
a
rpent
e
r
s
v
al: cast the resul
t
in
s
val_bino
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpen
t
er
typ
e
_val: up
d
ate to ha
n
dle PARAM_S
E
T
from the
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
t
ype_val: igno
r
e k
m
alloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val: ignore all the "fo
r
_each" macro
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
use
r
_
data2
:
remove some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpent
e
r
helper:
in
t
roduce invert_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan
C
ar
p
enter
ran
g
es
:
break t
h
e range list parsing i
n
t
o
a separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
enter
ran
g
es: prepare t
o
change
a
string to
a
n estate
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan
C
a
r
p
enter
m
o
dificati
o
n_hooks:
add PARAM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
p
aram_clear
e
d: clearing a member
is not clea
r
ing
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
D
a
n Carpenter
type_val: ignore fake member as
s
ignments
f
rom uncasted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next